Hotel Ceiling (Extended Version)