I believe he has puts for a nominal stock value of 1.6b. That could be a 1M, 10M, or 100M in actual expenditure depending on his strike and expiry. The degenerates on wsb regularly place yolo calls or puts on millions or tens of millions in value for a few thousand dollars.