The hotel was ok. The room had several oddities- the coffee maker wouldn’t work and the room Ac was exceptionally loud.
Of far more important concern, the $16 breakfast buffett has the worst eggs I have ever tasted in fifty years of living. Tasted old, really old. I couldn’t proceed past the first bite and made the staff aware, though the eggs weren’t replaced in the buffet.