Ken, it might be possible, or even more desirable in the long run to use whatever it is that came out, but with a high grade thread locker on the replacement. This way he's not cutting a hole with a tap that has different thread count and profile from the original insert that was used before. Tapping over top of what's there could result in shot head if there's too much difference.