pull down to refresh

"File Date" does not mean "Order Date." According to that quarterly filing ending 6/30, they acquired that position as early as 4/1 (ie months earlier), and they have a bunch of other puts, some larger.[1]

  1. https://x.com/Ryan__Rigg/status/1813711084043243995