I've recently taken in a local stray. He's apparently been living in our neighborhood for around a year but although several kind people have been feeding him, he doesn't belong to anyone. I'd guess his age at about 2yrs. He is shy and nervous and appears to have been mistreated 
but so far seems very happy to be living with us and his confidence is growing every day 
He has a vet appointment soon to get a once-over and to check he's old enough to be neutered. Until then, I'm wondering if I should try and clean him: he doesn't seem to wash himself much and is covered in grime and patches of what appears to be car grease. He whiffs a bit, too.
I'd never realised how spotless my other cat kept himself until this grubby little customer turned up! I guess washing is not a priority when you're living on the streets.
I'm not going to give him a bath as it will terrify him when he's just learning to trust us.
Has anyone successfully managed to clean a grubby cat or shall I just leave him dirty for now?
Thanks in advance!