FWIW, There' a thread on another forum that a guy used a couple different sized brass plumbing bushings and bolts and rebuilt his.
I like the 'repair it later for 5 bucks' aspect that gives as opposed to replace again for $80...
But lots more time and tinkering to do it the first time...
