At $1200, with a cutter, a very sweet deal. Wish I had an uncle like that, :D
Might be worth 2 new print heads professionally installed, I would if it were my machine.
As far as an employee who shuts a machine down mid print and leaves it like that, I would shut him down mid-day, then probably...