It was a few years ago, but yes, every time "pool is open" was announced, it also included "be back in 45 minutes"...Hi @rhwestfall
I have not been to Key Largo for quite a while. I dived frequently with Ocean Divers before they were purchased by RR. Dive times were an hour. Are you saying bottom time or dive time is 45 minutes with RR?