I simply suggested she checks sold prices on Ebay and consider getting it repaired and re-advertise it.
I got my Marantz CD63KI by contacting the seller (lovely elderly gent) and telling him it was worth a lot more than the £30 he was asking for it (he didn't know KI was different to SE) he was so grateful for my honesty he sold it to me for £95.