When someone has a 3D printer.
You still need 2
SUNON fan 40x40x20mm HA40201V4-999 DC 12V or similar.
This attaches to the original screw points, no additional holes are required.
I built the whole thing into my Alice Copper.
Do you need that?
It depends on how long you've been playing pinball.
Because it's my only one, it runs non-stop.
https://www.thingiverse.com/thing:4715685
Cooler (resized).jpg