@PhilHagen Apparently there was one at one time, but it's closed down and re-opened as a privately owned/operated hotel.