Why are you even concerned about it if you're not even intrested in it?
Besides, a couple 128x sets has been sold for around 100k-200k lately, so 85k isn't a mad price for a good 128 set.
Okay so, if you're interested in this set feel free to offer, but i won't accept anything low.