A pretty nice bundle of games arrived today. "Revenge of the Gator Pinball" is one I've never heard of, and it's really fun. The label is terrible, so I made my own for the back. In addition to these, there were several duplicates that will go into the next junk box.