The diameter should be doable, even if it needs a little finessing. Die grinder might clean up any internal welding.
Locating the pipe would be tough and I'm thinking up solutions, maybe welding it onto a plate on one side that will locate it while I do whatever else in the mess that is the original bore. I think braze but not sure. Then cut it off when done.
I'm thinking out loud.
Will it be a super precise fix, no, but a LOT better then how it is now and should be durable to last for my hobby use