There is one inescapable fact in life: that somewhere around the world both The Mousetrap and Jersey Boys will be playing.