A brief introduction to the Heighway pinball team