Here is where my 5 lugs came from. They even tell you the length so what I did was pulled my original axles out first and measured them to be sure. I also have seen 5 lub axles on eBay from time to time for around $40.
Sounds like he has a new rearend so should not be too difficult.