Did anybody buy or sell REDG through ETurd today ? Just wondering if they are allowing transactions.