The one I am looking at is Singapore $6,000 with filter holder, ie about $US 4,620. the lens appears to be mint and has clearly had little use. The new price in Singapore (currently unavailable) is $S8,880 + $220 for the filter holder = $S 9,100 about $US 7,000 which is expensive in my view. Adorama advertise it on back order at $US5,995 with viewfinder (around $US 850 for the viewfinder as a single piece) which seems to equate to $US$5,145 for the lens alone. A used but apparent mint lens at a discount of $525 from the new price. It is available and I am in Borneo next week and could take it with me, and the domestic financial manager has not exactly said no when the subject was broached. Decisions, decisions - I will let you know, but it is still positive.
What is clear is that everyone who either has the lens or has used it is strongly in its favour. Thanks for the input. I am fortunate that my wife is a pianist and the cost of our recent move to Singapore was a brand new grand piano: the lens pales into insignificance in relative terms. Emboldened I go!