DJM-700 - Filter knob repair

Hi,
Looking at buying a DJM-700, but the rotary filter is broken. Does anyone know if this is repairable?
Regards,
Adam