Comment by TigeriusKirk

The "price realized" includes the buyer's premium. It's a bit of sleight of hand auction houses do in reporting results.