Arcam AMP. Spares/repair/service (Hassocks)

Hello, here is my dad’s old Arcam Amp. A85 it’s at least 30 years old and three of the buttons have been pushed in and don’t click back - so it needs a good service / repair. Or maybe useful for spares. Let me know, or it’s bound for the tip. Thanks.