since new machines seem to start about $300 and go up into the thousands- i would put out the $$ to fix it- you already said it sews like a dream (unlike my $5000 machine)
and once fixed it's value will only go up the older it gets---it is a win-win situation