No Jeff your thinking is good. Look the ring and pinion over and if there are any spots where the corrosion has made a sharp edge deep enough to expose the softer core of the tooth, dress it smooth with a tiny grinding wheel. The idea is you don't want the gear teeth to begin chipping. In my days I have tested in the lab, and run gears, that had some of the profile missing. Sometimes it was corrosion and sometimes it was from chipped teeth where exploded parts went thorough the gear teeth. Noise is the biggest issue. Corrosion in the gear pattern area will cause noise and of course will wear faster.

Now by the book, any damage and replace. In real life it is not always necessary. A good idea of course but not always feasible. The gear sets are getting harder to find for the fronts. You may have to "run what you brung". The front gears in mine are not perfect.