Has anyone heard how Rudy and the bottom time dive shop has fared and also the holiday hotel. My wife and I were there in March and are wondering about these people. Thanks