Thank you @sefs! That is exactly what I was referring to. Most people don't realize that for boost-buck configurations, the iron/copper of the transformer is only carrying the "difference" kVA, here 32Vx40A or 1.3 kVA.
Still, is it worth $500+ to increase charging speed from 24 to 28 mph?
Note that I'm not talking about establishing a boost transformer - I can pretty much guarantee that won't be worth it, given the difference in benefits vs. cost, maintenance, that nasty hum, and heat. But if there's an opportunity to get the power company to offer a distribution transformer change that would take you from 120V/208Y service to 120/240 service, take advantage. Never hurts to ask.