Pinball machines are large, complex, and heavy boxes of joy and delight. However, when you don’t have the money or space for one, you have to make your own mini Raspberry Pi-powered one.

Actuators were built from hair dryers and portable fans ... who’s been the German pinball champion for several years in a row, also played the machine when he visited Phæno – and was ...