But doesn't the auction house report hammer price rather than all-inclusive selling price? (for consistency that's what they should do, so that's what I naively assumed they do)
The results published after the sale include the buyer's premiums.It will be in the small print somewhere. Looks like money for old rope.