ASCOB 3:39pm today someone payed top dollar and bought $39000 worth of these options at 4.8-5c. I wonder if it's just a punt??