I would do the very same if i where them... stock is up parabolic....
1% of market cap more or less, will be eaten easily by market, but should at least give a breather to the up move...
I'm short some around 515, stop 533. Buying back starting at 503.15 all the way down to 465.15 in 1$ steps.