Hal,$1,200.I always factor in the buyers premium when I submit top-all bids and I would think all buyers would but perhaps not.Jim