I received my W-2 today, and should Box 1 on the W-2 be reduced by the pre-tax health insurance premiums I pay throughout the year? And if so the Wages, Tips, Compensation would be lower than the social security wages, and medicare wages in boxes 3 and 5, correct?