Was there for lunch today and stopped in to the front desk to ask. No current plans for a TTOL discount. He said they might do something in low season - July/August.

The place was pretty empty, both hotel and marina. This is high season, so perhaps their rate card needs tweaking, but what do I know.