IDK the exact answer, but the same seller also offers a similar looking power supply for sys80B which says "Gulf Pinball" on it. Maybe message the seller and ask? I have no personal experience with Rottendog products but can say I have not heard 100% positive feedback on them when researching. In my sys80B, I have a Ni-Wumpf driver (purchased directly) and a Swemmer MPU (purchased through ksarcade.net).
I've been thinking about replacing my power supply board, not that my original one is busted, I just feel maybe "better safe than sorry". K's Arcade offers one (for sys80B) which looks almost identical to the one this eBay seller offers, the only differences are price ($25 less on eBay), and the one on eBay has LED's to confirm 12v and 5v currents. Though, having bought from K's before, I'd almost say the $ is worth the customer support, great company to deal with.