Do the insurance people buy deep otm puts or just any shorts really to hedge the spring insurance in case spring is really high? At what point does it benefit them to instead send the price down and collect on their hedges? Would that ever be the case? Lots of talk of they have to keep it high to avoid payments and idk how it all works