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