Never heard of it before you mentioned it! Only knew the standard, classical diving in the sea or in lakes, in caves or ships, but all out there outside, not in pools. The only diving I have heard of pool diving was, when people were learning to dive.

*blinks* So basically they make sort of an 'amusement park' under water? Atleast it looks a bit like that judging by the pictures.