That may explain the 25000 share anomaly I saw at $20.50 mid July. The company didn’t think it was noteworthy at the time.