No, I don’t even know if they are around anymore...either way, it’s someone who is long and definitely is hoping the puts expire worthless given how many shares they report owning. Insurance always has a premium, but helps you sleep better at night. Even if you have investments you really like, most firms will still cover with puts to limit downside.