Aaargh. My ticket-purchasing-gone-wrong gets worse. I was such in a hurry, I thought I was on the theatre's website. But my Chrome browser has now a default to Bing and I stupidly trusted that I was on the correct website, forgetting it wasn't Google. It was actually a second-hand ticket seller.