Picked up $GDX on 8/7 around $89, took some off at $102 on 8/21 for a quick +14%, trimmed more after the Warsh news Friday, and closed the rest yesterday at $97.

Wanted to hold longer, but you take what the market gives. When the setup changes, you adjust. No reason to force it.