Thats generally pre-tax so no double dipping. Every now and then I get someone that pays medical post tax, but its not very often.
