Pinball machines by Stern Electronics. For pinball machines by Stern Pinball, see Category:Stern pinball machines.