I took advantage of the morning rise to sell off some GDX for a good profit, plus they expire Friday. Picked up some GDX long - Dec 15 / $21.50 calls. Bit of insurance in case the general market takes a nosedive, plus it's not likely to go down too much further.