I'm just putting a new battery on the Yanmar and just wondered, is it still the done thing to grease the battery terminals. Looking at my newish car, the terminals don't appear to have anyhting on them. I always used petroleum jelly (Vaseline) in the past, but I haven't changed a battery for...