It all got very confused. It transpired that Eurostar had refunded some further money to my wife's bank account, which I wasn't aware of at the time, so I think she got most, but not all, of her out-of-pocket expenses back. I decided it wasn't worth pursuing them for a few tens of pounds...