Apart from being an ardent gamer Spielberg has had a long history of involvement in video games. When was Boombots released?