On the original, are the holes drilled all the way through the shroud & barrel? Can you thread the holes & use set screws to keep it all in place?If no repair for the original I would use whatever you can find at a reasonable price to repair the gun.
Dave, what you have done for your friend is nothing short of fantastic! The world needs more people like you