Not me, but I'd say it's personally worth around ~$3,000-$3,400 without the key games. That's the price I paid for a near-complete collection minus the BIG 7 (all 3 Panesians, Caltron, Myriad, Stadium Events, and Cheetahmen II) a year ago, when the market was better than it is now. Well, it was actually missing Bonk's Adventure and Top Gun as well because he couldn't find them.
But that lot is missing quite a few pricey unlicensed games too, so that lowers the price in my opinion. Granted, he did mention that most are in collector condition, but that's entirely subjective. It would be a big risk just "guessing" what his interpretation of collector condition is, and I've found out the hard way what some people's ideas are for condition.
-Dain