Interesting on the $TRE active options activity. I see someone sold mostly the Oct 5 ITM puts for good premium 33K and even July $5s.