I have a TC35D and noticed the battery was spilling over some acid where the battery is, so making a mess in the tray. Anyway I thought it might be the battery problem with a short or something, but today I checked the voltage when I had it running and it was 15.4 so I assume this is...