[Ryan Coke]

In my experience there is likely a tool on the website that manages the ESP for the employees that will allow a sale directly, or you could transfer the shares into a personal trading account if you wished.

Otherwise, if you make a sell order, it would likely sell the shares at the “market” price, and then you would get the proceeds. There may be some tax withheld, which would get sorted when you do your tax return.

Otherwise, I think you got most of the tax implications correct. To be clear, the capital gains would be taxed on 50% of the gain, at her marginal tax rate.