I like options 1 and 2. I am a fan of original boards. I am not a Pinsound fan.
Unfortunately, there are a lot of quality issues with new Rottendog and Pinball Basement boards. It is like playing roulette. You win some, lose some too. Lots of Pinside failure reported threads on both manufacturer boards.
You should contact who you bought the Rottendog board from to see about a warranty repair/replacement.