Lobby, historic Hotel Jacaranda in Avon Park