10,200 shares exchanged between 9:58 and 10:03 a.m. at $22.50 per share. Average volume for the previous 20 days was 4,287.