You can turn a regular AC coil A-5141 into a 'hot' coil by converting it to DC. (if done properly)
My experience is described in post #9 of this thread:
https://pinside.com/pinball/forum/topic/wild-life-or-jungle-resto-and-mods
For that pin it made the 3" flippers supply just the right amount of power.
Your mileage may vary, but for me it did exactly what I was looking for.
Bud