@variablepulserate Not really, because tyres aren’t generally made by the car manufacturer. I just get the impression that sizes change a bit with time. The local place only had a pair of budget tyres in stock, and if we want better ones, we have to wait a few days for them to get hold of them. I don’t remember having to wait before. When I asked for the size we needed, they sounded surprised that it was a 16” tyre, not 17” (odd that they’re still in inches).
I had a flat the other day, so the car is currently fitted with the temporary spare. It wouldn’t normally be a problem, because we go weeks at a time without using the car, but my brother’s wife is in the end stages of cancer, so we might want to head off up the motorway at short notice.