Gearbox oil could be worth checking although i've never seen 'black' oil come out of a manual box, plenty from knackered auto boxes, better safe than sorry especially if the ragging has blown a seal somewhere.