I posted a few days ago asking about gator blades for lawnboys. I found them online from several vendors. But now my question is: are gator blades okay for older lawnboys? I have three LB's. One is the Silver Series with mulching blade and fan, one is a 7084 Bricktop, and the other is an 8238...