My machinist friend declined, as he didn't have the fixtures to reliably turn an axle. After a lot of calling around, I found a shop that will repair the bearing journal. They will TIG weld up the journal area with hardened steel rod, then grind/polish it down to spec. This is apparently one of their standard services. They said it would cost ~$160. I dropped the axle off today. I expect to have it back by Wednesday.