A lobby area at the top of the Hotel Sevilla.