I would say don't worry about it. Not everybody runs their tires to 100 psi.Summer to winter pressures will vary in any case.