Hi guys. I have a dead pop bumper coil that needs replacing. It’s a g23 750-dc coil and I’m not sure what to replace it with. I found this one on Marco specialties: https://www.marcospecialties.com/pinball-parts/G-23-750 but I’m not sure if it will work because it doesn’t say it’s a dc coil. Any ideas?