Lodestars are pretty good – 1st gen is probably good enough, as is the ZWO ASI120mm. I’m considering those for my camera to do a similar thing. Saw a second hand Lodestar today for £150 and the ASI is similarly priced. A significant part of the cost would be the lens on top… I will probably control mine via a Raspberry Pi.
I’m sure other have better ideas though.