The happy music sounded as a man polished the edges of the room with a sander.