https://pinside.com/pinball/forum/topic/worst-operator-ever-award-goes-to