I just bought a Husqvarna 4818 mower, and its about time for new blades (I think one is slightly bent). How much are the different types of gator mulching blades (I saw three types?) Also, since there are 3 types, what is each type good for specifically. I noticed one was high lift, one was high lift and thicker than the standard version, I think. I'd like the high-lift version, but only if it doesn't hurt mulching (I have a mulching kit with baffles). AND MOST IMPORTANTLY, for a real mulching set up with baffles and a plug, will standard mulching blades OR Gator blades mulch best??? Thanks so much!