A man in a red coat shook his head to the music and sang.