Is using a 120V charger really only 80% charge efficiency? That would add another penny or two per mile to my cost.