The biggest 5 star hotel could be the "Our Lucaya" hotel chain that is the Sheraton and Westin hotels along with the Lanai Suites located at Lighthouse Fact. As we were driving home, my wife and I both questioned each other about knowing any using this information before today. https://Www.Shipserv.com/supplier/profile/s/franmarine-underwater-services-pty-ltd-53860