It's surprising how people tend to be unaware of the enormous number of quick changes that lie behind big West End shows