What would be the tax status of the buy up if one had to actually use it? I know what the company provides is taxable but the buy up is paid for with pre tax money, so how does that work exactly when it comes time to file your taxes?