R. Repairing pinball machines