Thanks for sharing! The risk manager for the short can't be sleeping well knowing the depth of their exposure here. The right news could cost them many millions of dollars IMO. Go PTOI!!!