There used to be a hotel...actually it was a Holiday Inn on Long Boat Key that had what they called a "Holidome". It was an eclosed play area for families and kids, with a pool and jakuzzi. I used to go there quite often back in the 80's. Does anyone know if it is still there and if so, what is it called today? Its no longer listed as a Holiday Inn.