[RC-Monster Mike]

You should replace the ring gear and pinion at the same time - a new pinion on an old, worn ring gear won't last as long or wear properly. Any thick grease on the gears is fine - it flies off anyways, but a light coat will remain.