Just to clear things up a little.
gator only make bar blades, not swing back blades.
So if you are talking about a push mower, no there are no gators available.
Down here the local aftermarket suppliers do thicker blades for commercial honda push mowers .
Domestically swing back blades should be changed every season around 50 hours.
If you have rough lawns with gravel and / lots of sticks you don't bother the clear away first then you will need to change/ sharpen your blades a lot sooner.
Swing back blades are only 2 mm thick so you will not notice if they are blunt unless you ae mowing a really fine lawn.
A blunt blade will leave a cut in the grass that looks the same as a weed whacker.
If you sharpen swing back blades they should be balanced to within 6 gram and ideally within 2 gram so they need to be done on a wet stone or with a diamond hone.
For the price of new blades, it is not economic for me to do it as labour ends up twice the replacement cost & my insurance company will not cover me for sharpened blades unless done with a sharpening tool that costs hundreds of dollars.
If you want to do it at home then you will need a couple of sets unless you run a hone over them every time you mow.
Blade bolts should always get replaced. some types are safe to reuse, some are not, most are held on with nylock nuts which are single use only.
Bar blades should never be used with push mowers.
Bar blades are a different animal and do need to be sharpened regularly in order to make a clean cut at a reasonable speed.
My commercial customers usually sharpen every week as part of routine maintenance .
Domestically that would be about once a season most home owners do around 50 hours a season.
Generally very few , except commercial mowerers sharpen blades which is why mowers now run engines 2 to 3 times bigger than needed so the motor has enough grunt to smash grass apart with a 1/4" thick lump of round edged steel that once upon a time was a sharp blade.