Just bought a couple of Sennheiser HD500 used for under 10 dollars. Anybody know how huch these used to cost (they're discontinued, it seems)?