Definitely more than that... He sold at least 4 of them last year. Other ones besides the Pac Man too. He had a Donkey Kong and Galaga last year. The only one I've never seen is DK Jr.
He's also found and kept a lot of stuff, including a boxed RCA Studio II with all the carts that he bought for like 50 cents.
Its a Saturday morning thing for him all Spring and Summer, so he's out there a lot. I've gone a few times, but just can't get into it. He did buy a boxed Dreamcast for like 15 bucks and gave it to me when I mentioned I wanted one. I'm guessing the people paying all the money for that stuff on Ebay don't know about yard sales.