Are you swapping big inch to little inch?

Hyundai. I believe his is a hybrid. My auto diesel TDI wagon gets 42 and my wife's manual TDI wagon has gotten 52.

I live in Forest Service housing and it's right next to the fire station I work at so my commutes to work are measured in calories per mile.

Hyundai, yes. Hybrid, no. It's a 2020 Elantra ECO with a turbocharged 1.4 that makes about 135hp. Typical highway mileage is in the low 40s. I had no desire to pay the premium for a bank of batteries or for the future replacement cost. We also got a smokin' deal on this car new, roughly 25% off sticker...one of those one at this price sort of things.