No, it is not a push mower, it is self-propelled.
If I recall correctly, the word Excel is written on the Gator blades...
Btw, the Gator blades do not come with the mulch kit. And your mulch kit is made up of 2 plates for the 42" and 3 plates for the 48" and 54". So each blade has its own closed chamber. Blades might be around $100 and mulch kit in the same neighborhood.