I can just about guarantee you that a replacement seal would cost about $117 less than the time, effort and materials that would go into machining a spacer... so they didn't.
It looks like the seal is no. 13 ...
... and the spacer/collar is no. 6
Look HERE for the parts catalog.