which side?
drivers...could i remove both and punch the broken one through from the opposite side?
Nope
Driver side is tough. If it was the passenger, you could unbolt the diff extension but the drivers side. Do what the mechanic did or remove the whole diff and break down.
I would remove the diff assembly and break down, clean and put back together.
Wouldn't it have been nice to snap the other side. Sounds like pulling the tube would have been the only thing I would have had to do