[btilly]

I didn't realize that they were using RSUs. That does change the equation.

I would be curious what a tax lawyer would say about AMT liability. But AFAIK you're right, there is no problem.