I did a rough calculation - after hours trading in GRY. Seems like over 18m shares changed hands after 4.00pm - what gives?