I need to buy new blades for my mower. I currently use mulching blades in the fall to shred the leaves. Need to decide to I buy more of the Exmark Wavy blades, or try some Gator blades, or another option. I am happy with the Exmark Wavy but hate sharpening them as compared to the flat blade regular Exmarks that I have. For the people that have used both for discharging and shredding up fall leaves which would you go with? I don't really want to have to buy a whole bunch of sets to experiment. This is on a Exmark Viking 48"