Wasn't the inefficiency of DC over long distance part of the reason that AC is used most places except vehicles?