The stupid ticketing kiosks today could not find my reservation. I tried with both my usual credit cards and even with the Eurostar Frequent Traveller card, but they couldn’t find anything. Because I never carry the reservation number with me, I had to go to the reservations desk. No problem, they found the reservation there and I got my tickets. Mystery remains.