Wrench - box/open end 7/16 inch - Marco Pinball Parts