I have never shorted stocks, so I am not likely to start now.
I'm happy to buy this under 30.00, when I am fairly certain of a payout of around $31.00, plus the residual value, which is likely around $3-5/share.
The problem in shorting, of course is the timing.
Hard to tell when the appeals will be wrapped up. Could be 2 months, could be 6-- who knows.