Regarding Ramon's - the dive shop too or just the pier?

Thanks-Amy