I have 505,000 and had planned to hold until production. Absolute bare minimum for me will be $6.50 cash but ideally am prepared to tough it out for more if it looks like there's enough fighting for cash above $10.
I know a couple of other holders who have combined about 350,000 and they're holding for cash at least $6.50.