Hi Wade,
I bought a ring gear for the RedCat51 from DeepSkyDad that he had sold with his electronic focuser. I also got the pulley from him (he says 3D plastic works a bit better than the aluminum pulleys for this purpose). His focuser uses the same shaft diameter as the ZWO EAF.
I then mounted the WhiteCat and the ZWO EAF on a 6mm thick aluminum plate (fabricated by a web machine shop in Seattle, WA). I also had to get a different EAF mounting plate fabricated (the one that makes up the short leg of the "L" shaped mounting plate).
However, since that time, Pavle has decided to support mounting of not just his own focus motor, but also the ZWO EAF. So it should be much easier to get an EAF mounted on a Red/White/Gray Cat now.
https://deepskydad.com/autofocuser/redcat/eaf
With the gear ratio, I am getting about 2.0 µm per EAF step (the WhiteCat51 + ASI2600 pixel size's critical focus region is between 19 µm and 52 µm, depending on whose formula you use :-).
DHL from Slovenia takes just 2+ days to the west coast of the USA via Frankfurt. Might be even faster for you if you live in east coast USA or Europe.
Good luck,
Chen