Not to hijack the thread, but my grandparents had one of those tractors, and I totally forgot it started that way! I always pushed it with my hand though, not my foot, lol.
I also never would have imagined that they required a different starter design. I totally love learning new stuff like this.