"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.¹