Barry:Will the prices you post INCLUDE the 15% buyer's premium or not?Those of us who try to use auction prices to determine current market values need to know one way or the other.Thanks!!