Ahwahnee main entrance.
As I rolled up, the doorman initially mistook my car for a Ferrari. But he got really excited when I told him it's a Tesla!
I asked the front desk guy again if they could come up with a way to charge the car. They tried. But the best they could do was 120v. That's still better than nothing; I got about 7kWh overnight. I think I must have been talking to the wrong person. Someone with better people skills than mine should try go get a Tesla charger installed there.
I would be happy to chip in a significant fraction of the cost.