The car was shown as sold on my Jan 21st Hemmings Auction Sold Cars Roundup feed, for $15,225 including fees (which are 10% IIRC).
That's why I posed the initial question; seemed a lot of money for what I saw.
Perhaps the 1st buyer backed out or flaked out or whatever...but the car did show up as sold.