Anyone ever used the charger(s) at Hotel Del Coronado? The listing on plugshare indicates there's a Model S connector but doesn't say exactly where they are or how to access them, and no one has ever checked in. The front desk folks didn't know anything about them either. I'm staying there next month for a conference so wanting to know if that will take care of my charging needs or if I need to start researching other options. Thanks!