Help me out here. What's the name of the restaurant at the top of the lighthouse at Gran Puerto Cancun (aka the Isla Mujeres ferry dock)?? Anybody know? I want to find their hours without driving all the way over there.