Each contract is 100 shares, so he actually has the right to sell 135 million shares at the strike price. The the puts are at all in the money, they could easily be worth $42 million.
In the 13 F he tried to get away with listing contracts as shares if that is the case.
Agree with you if it was 1,350,000 contracts to sell 100 shares.
I have been stating that he might have listed shares there when he actually had contracts.