What's this $DEXE trading? Haven't checked in a few days, and it's hitting new highs. I can hardly resist pulling the trigger on a short (gotta short it).