I also think it was Sterns collection. If you went and looked at the auction house's web page, it took me 2 hrs of paging thru the list of firearms that were up for auction. Like he had 10 1919, 3 FG42 (these are so rare that they can go upwards of $200,000 ea). It really blew may socks away.
Most of the weapons were sold for current market price - there were no deals.