Yes, that's true. I did cash out the rest of my shares in the $3.00 range. Needed the money to pay off debt and put money down on a house. Although, if you're patient I still think you will get in the $5 range and possibly more. One of my family members still has close to 40k shares and is holding till distribution.
I wish everyone the best! Hang in there if you can.