Some good info. so far. That is one of those things it could be a $1,000 fix but is more likely a $10,000 fix. Would it function the 100ish hours you need it, maybe. 12,000 is not unreasonable on that machine otherwise. If I was really serious about it knowing it had an issue I would either...