I was just wondering if anyone had seen Operation Mincemeat (the musical), was it as good as the reviews say?