I am wanting to put a mulch kit on my deck by spring and I've been told the gator blade is the best mulching blade. The dealer I bought my mower from, however, is trying to sell me "wavy" blades with my mulch kit. Which should I get? I don't want clogging and I can discharge with gator blades rather than put the steel in front of the discharge deck. Thanks for any help.