DSP5000s are robust, I wouldn't worry about damage in shipping shortening their lifespan. I have a pair over 25 years old at this point (18-bit) which I just re-capped. They sound great.

I'm unfamiliar with the market prices outside the US, but if you felt you got a good price, you may want to consider keeping them.

Which version are they?

Theater: 861v4_LPS, 818v3, HD621, Oppo 203, Lumagen Pro, DSP8000SE, DSP5500C, SW1600x2, DSP5500, Epson 6040UB, PS4
Living room: 861v4_LPS, HD621, DSP8000SE, DSP5200C, Oppo 203, Lumagen 2143, 818v3, Sooloos/MC600 Bluesound Node
Bedroom: M80
office: G68D, DSP6000
Garage: DSP5000
Storage: M33s, DSP33s, DSP5k, 501, 518, M1500, G98DH, SW1600