https://pinside.com/pinball/forum/topic/-so-when-stern-gives-you-a-warranty-number