It's better for them to cover now before TRGD hits a dollar in the next month or so. Hopefully they will take the loss and move on.