I was wondering if filling the 5 speed manual tranny with gear oil would be better for it if its driven hard. Does anyone know? Right now its got the atf sticker on the side and its full of atf. But I don't know when it was last changed so i thought id change it.