In all honesty, I was just adding a further comment as an insight as to what these were in the shops - not just flogged out at £150.
I sold them for about 8 years as I worked for the distributor, so thought it might’ve clarified what they cost new - there isn’t a huge amount of information out there about them.
OP asked for information, there it is.
I felt my comment was half in response to yourself and half aimed to the OP so he didn’t feel too bad about having paid the “high end” of the price range (bit of an odd comment in itself - he paid what he wanted to pay, otherwise he wouldn’t have put a bid on).
Apologies if my quotation riled you somehow.
🤷🏻♂️