On second thought, no way would I sell the puts. Even if 850 Julys ultimately expired out of the money, it sure as hell would be scary if/when the underlying price starts to drop, which drop will probably be severe.