I also got a cheap Electronic Battleship 1977 version off eBay for Sean. It should have a TMS1000.
I got one of those for my 7th birthday in 1977. Out of the box, it didn't work. My step father had to crack it open and re-flow a bunch of the solder joints to get it working.
I hated that thing. It almost took me longer to program in all the ship locations than it did to actually play a game afterwards.