Personally I'd prefer if Ken took that sales money and put it toward the NRE to get the new chips made. This way we get the new machines to the market faster, meaning more profit in the long run.
Agreed, I think making NRE costs should be #1 priority so we can get that ball rolling. I'd even be willing to give up current mining dividends, BUT I don't think that would get us very far in selling the rest of those shares.