https://pinside.com/pinball/forum/topic/star-wars-stern-how-much-longer