Sort:  

I got in on that same dump this morning. I put my sell at 9100 and was filled within a few hours. Looks like you could have made up to almost 9500 on that.