There are comments on PlugShare for that location, that also describe the same rules.
It’s a very nice hotel. I was there in January, self parked at $20 a night and moved the car for one night to the valet area to charge (the valet area was nearly empty). The extra $10 I would have spent went...