Got the replacement axle and had my dealer replace it for me. I'm not super pumped about the cost of the job - it took them 5 hours (when I dropped off they said "It will take a few hours"), at $95 / hour. Oh well, its fixed, which is the main thing.