Could it be a buyer's premium % added on? Or was that already included in the price?