Hal_Al
Level 15

Education

Yes, that sounds right.  Box 5 usually does include such pre-tax deductions.