But the surrounding theatre – its chiselled wooden ornaments, its outdated basement bar, its gilded red walls – at times ...