They'd know immediately that it wasn't bought in Europe, since I don't believe the red PRS-600 is sold here, is it? Only the silver and black versions are sold in the UK, anyway.
I'm very pleased to hear that they are repairing it free of charge for you; they can be a bit funny about that kind of thing.
I've still not got my original PRS-600 back, by the way

.