Yep Kong, that works OK. I've also welded a large hex nut over the top of the rounded-off original 12mm hex. It's a simple "plug weld", and when ground smooth and dressed with a file, looks like one of the aftermarket replacements with the large hex.
Kevin