Our guy drilled them both out, filled them with the low temp rods and milled the face back to original.
Did he form the threads from the filler rod? The HTS people have got a neat video of a bloke immersing a steel bolt in a pool of filler and "casting" the thread. In their video it seemed strong, but you never know how real these things are. I think filling up the hole completely, then drilling a timesert in properly may be the strongest.