Just saw an immaculate Sony CD player CDP 711E with remote in my local charity shop for £15 is this a bargain ? Was it a good CD player in its day is it worth keeping as a spare ?