Does the battery need to be discharged after adding repair fluid