The outside of a 10 mm insert is much bigger than 10mm, probably bigger than 12mm. Using a 12mm insert would remove an awful lot of material and might not leave enough to be stable after the repair. All you need is enough to remove the 12mm threads and allow a fresh surface for the insert's tap.

JMO...