That's a pretty hefty price, but that's a pretty hefty tree
in all respects--quality and size. That close fitting nebari on the rock is extremely tough to produce.
One thing that is not ever apparent in selling stuff like this is--how's the buyer gonna get his hands on it after the auction?
Obviously, the buyer and the seller will work this out, but...Shipping a monster like that will cost another couple of hundred bucks and air freight for living material is a risky biz. I have had large trees shipped to me, packed very, very well, but there is always some breakage. It's almost impossible to not get damage on a tree, especially one with alot of big branches and fine ramification, when you put it a big box and trust the cargo handlers to handle it gently...