I just did a quick search and found things called dc motors with gearbox and encoder. Is that the sort of thing we need?