Thanks Doug. 13.5% premium on the sold price. Is that the drill at most auction houses?

jack