OK, I got the sale to take effect, but I had to shut xdev totally down and restart it to make the sale go thru. Seems like I shouldn't need to do that though.
I haven't come across that problem. If the shares are there, you should be able to subtract them. Are you sure you are using the "portfolio" amount and not the "lab" amount?