Everything should work fine for know for those who have ASWD/PTRZ, the Petro Kansas shares still aren't trading.