Re-tip or Replace?

I have a 40 year old Dynavector Ruby that still sounds great, but I think it will soon require a re-tip.  The question is, should I pay the $350 or so to retip it, or replace the cartridge with a comparably priced Ortofon, Audio-Technica or Nagaoka?  The system consists of a Luxman PD-277 turntable (another 40 year old piece), Schiit Mani phono preamp, Schiit Saga preamp, Rotel RB-980BX amp, and Martin Logan ESL speakers.

Thanks in advance for any advice.