I bought some of those stepper motors you linked above. Really cheap, small with a gearbox, but be aware they are wired so you cannot use them with a standard stepper driver module. These have five leads (4 phases and a common) so your micro must generate four phases to make it run. It is easier to use a step and direction driver like the one in the hall effect video. I was able to modify the motors to run on a standard driver using this info.

https://forum.arduino.cc/t/howto-mod...-4wire/1132680