$8,436,000 in a single trade. and i doubt we see too much more selling of TVIX at this level. feels to me like a buyer loading for a hedge.