It does suck, but this is very common. The machine is 20 years old and if you fix this properly, you'll likely never have to repair this specific problem again for a very long time with home use. Being able to repair your game is a critical part of owning a pinball machine.
Marc