I could be wrong, but I think most companies prohibit their employees from short exposure (shorting equity, being long equity puts, or short equity calls) to the company, even if they're still net long the company.