I am guessing, they did. Check out the chart. The relatively flat move between 10:10AM and 2PM around the $7.00 mark. They shorted above $9 in pre-market and until 10AM they managed to hit their target $7 and began to "churn" and cover immediately thereafter. May have repeated just before the close.
NOTE: For the short hedge funds to succeed they must have some "inside" info that none of the major large funds are about to take a long position.