https://pinside.com/pinball/forum/topic/how-would-everyone-feel-if-stern-was-gone