try here. In that post this link looked most promising, though I’m unsure if it is the exact one. Likely that you can use whatever one you want if you get the encoder and the gearing correct for movement distance and you have the correct voltage feeding it power.