FWIW, there was no after-hours trade today in the minutes following the closing.  There were 25 trades over 181k shares for an average trade size of 7,240 shares worth $254.76 at today's closing price.