Repair Linn turntable vs buying a different one

Dear turntable experts:

I would very much like you opinion and recommendation if I should go ahead with repair  my old Linn LP12  turntable system which has Karma cartridge and Ittok tone arm. If the repair job include replacing with Krystal cartridge and Akito tone arm plus Linn cable and other misc parts, the  cost of parts is about $6000 plus labor, with estimated cost of about &7000 total. Would there be advantage of proceeding to do the repair of the Linn turntable system vs. buy some other turntable at equivalent of $7000? Thank you very much.