Lets assume a regular 1 hour commute. Factory HIRs consume 110W (55W per bulb). In one hour, you are using .1kWh. This translates to about .4 EV miles (assuming 4 miles per kWh). Even if the LEDs are four times as efficient, you are gaining about .3 EV miles on a 1 hour trip