I'd completely forgotten that I got one of these "official" Pac-Man mini-arcade machines for Christmas back in the day before I came across this blog post a couple of days ago.
I can't remember exactly which Christmas, of course, but I'm guessing it was in 1981 or shortly thereafter, as that's when this eBay listing says it was released.
If memory serves, it plays a pretty spot-on version of Namco's classic arcade game. Sadly, my memory's also suggesting to me that I sold my mini Pac-Man machine at a garage sale a few years later--most likely for chump change.
Should any of you want to relive those memories--or make some new ones--check out this auction, which ends at about 6:56 pm Pacific today. (Current bid is $100, not including shipping.)