This is EXACTLY what I wanted to see happen.
I spelled this out plainly yesterday, but my battle plan is:
(a) Ride GDX up to about 57.50 (it's already up 1.36% as I'm typing this);
(b) Sell it;
(c) Short like a Banshee, assuming the Banshee is really, really bearish