Our brother-in-law just tore up a gear drive on a 60series (in a truck) but had to decide if to repair or replace, with replacement including labor at 14500$.
I wouldnt think the labor would not be that different between the two?

He chose to repair, with a new bottom-end and some other misc. stuff 7500$

What failed? Was it catostrophic, unrepairable ,or, you dont want to go that route?

I know you are out in Cal. but if you want to see what a good mid-west bus shop is charging for this try Eagles Nest in Nashville.