Thank you for posting that information.
Do those prices realized include the 10% buyer's premium?
Thanks, Jeff