Easy to hold when you didn’t put up any money in the first place. Or, maybe he had someone buy a ton of call options before. As expensive as the puts were the last time I checked, They were likely pretty cheap.