They’re building functional pinball machines. With spring-loaded launchers; working flippers; and lighted, strategically placed bumpers.