Keep in mind that that the battery loses voltage as it discharges. You start at 403VDC but end up about about 300VDC at full discharge. So it depends what voltage you use to calculate KWH. Your best bet is to go by the GIDS value in Leafspy. If your car is like mine, there's a lot of energy...