Was anyone trading this after hours? Once the actual price of the deal came out, the spread was at a huge discount for a little bit before the stocks halted. You had to be quick on the calculator though to figure it out and get a trade off (spread trade I mean).