8 1/4 vent tube

It will work, he just has to swap the brake tee bolt with a vent/bolt in the axle tube, the threads are the same. The broken vent tube should be plugged with something if you go this route.

Good thinking Daliant. That didn't occur to me.