A networked game of pinball