Coils are correct, probably factory as you said. Hard to say if they've ever been rebuilt. Probably worth considering doing, though.
One other question: what do your cabinet flipper button switches look like? Are they opto boards or leaf switches? My Getaway has leaf switches and i had to replace them due to intermittently weak or dead flippers. It's important to note that if they're cabinet flipper leaf switches, they use *gold* contacts (designed to handle lower voltages efficiently)...unlike most other games that have flippers that use high-voltage tungsten contacts on the cabinet flipper switches (designed for 50+ volts).