Normally you should be able to shove the pipes by 5mm.
If not, yes get one of those 10mm extensions and move the radiator by 5mm.
Personally I've used 'Tru Blue" or similar pipe joint sealant for radiator tails to avoid leaks, but I know others with more experience believe you just need enough PTFE and I won't argue with them!
(As an added complication, I guess the new tails may not screw in as far as the old ones!)
If not, yes get one of those 10mm extensions and move the radiator by 5mm.
Personally I've used 'Tru Blue" or similar pipe joint sealant for radiator tails to avoid leaks, but I know others with more experience believe you just need enough PTFE and I won't argue with them!
(As an added complication, I guess the new tails may not screw in as far as the old ones!)