https://pinside.com/pinball/forum/topic/j121-replace-header-or-not-while-redoing-j120