[onebot]

Keep in mind that most options have an expiration date on when they can be purchased after the employee no longer works at the company. Furthermore most option agreements have a ROFR clause. I would say let them have the options. There is good chance they might not even execute them in the required window.