What is the magnitude of the short play here ? I reckon you should know...kind of obvious, don't ya think ? Several million $ worth ? Curious what the short squeeze is worth...