There's really nothing you can do, at least specifically with this event. Her vested options (all of them, I expect) are going to get cashed in per the terms of the sale. You'll get the ~$9400 minus withholding. It'll be taxed as ordinary earned income, so you'll probably end up with about $6000 or so (depending on the withholding rates they use).

As for what you use that money for, that's a whole different question. If you were allocating those options as long term retirement investment, then that's where you should put the money.

joe