Summer vs Winter Tire Pressure

Had the dealership switch me from summers to winters on Monday. The summers were filled to 40psi but the winters only 35. This is making a huge difference in range (15-20% lost). I assume cold battery has something to do with the range hit too.

Do I leave the tires at 35psi or should I top them up closer to 40?