The first time I changed the diff oil it came out dark grey/black. Some believe it to be filled for life, and that's their choice. I prefer an occasional change. And 5k miles is reasonable on a low mileage car when that might be two years or more.
I apply the same logic to the gearbox.
