Just reading the 2009/2010 Infinity Brochure
and after getting back up off the floor due to the prices :(
It says that Hard Rock Pool is 'one of the largest'.
P.S.
how much is a day trip to HR pool please?
So, where is there a bigger pool please?
This is important research for our 'pool crawl' we like to undertake.