How much does the Original Floatzac weigh?

6.5 kilos. Or 9 kilos with packaging. Shouldn't be a problem to take to the pool, right?