Click on the shortsqueeze dot com link in his post, then multiple the short interest by the current share price. Actually it's a little less than $9.