Lot numbers above 5000 are price-reduced lots from earlier auctions.
A buyer’s premium of 25% is added to the hammer price