I think there was one ~350K trade at 4.84-4.85 just before noon, with about 100K other shares traded today. FWIW.