I wouldn't be paying that sort of money for a pair of Mk I's. I feel around the 1K mark is about where they are at. Yes I'm in Australia and have a pair of TLS-80 Mk II's and RSPM Mk IV so I'm up with Aussie pricing.
Anyway I'd say you bought them in the end ?