The gearbox on my rotary cutter came from the dealer filled with grease instead of gear oil. When you take out the check plug you just see grease. It’s now 10 years old and I’m wondering if this should ever be changed and if so how? Also how do I know if it has enough now? Like I said, you open it and just see grease.