Hundreds of tiny trades today. What gives? Only a couple of hundred seem to have sold at the day's high of 4.63.