[camjw]

They could have just let employee options expire and then they wouldn't have had the tax bill. Though, I imagine recruitment would become a bit harder then.