FWIW and you probably already know, trading's been halted for these stocks. If you own options on these, anyone know what happens to the value? Puts go up? Calls go worthless? Both calls and puts become worthless? I guess I'll find out soon. LOL!