have the flywheel surface ground while you are in there. 6-800 sounds about right. lots of labor involved, it's a dirty sucky job usually. do the mechanic a big favor and steam clean the underside before you bring it in. he'll really appreciate it.
if your shifter bushings are worn, now's the time to change them out too.
shoot, if your driveshafts are loose or worn, might as well get those freshened up while they're out.
it's only money, broncos live off it.