It's still there, they only got to it this morning since it happened later last night.
But he said 2mm on the back tires, 5 on the front. either way, I've bought one tire already (and rim for 1300) so I'll need 3 other close matching ones. I'm just worried that the one I bought now is another...