These are options. The 9k is the current dollar value of her options (a ill more today). She did not buy out of pocket. These are excercised options, which is perfectly fine. No praise or condemnation needed. Everyone here would do the same. I won't correct anymore posts like this so have at it praising if folks want.