July? You don't like to cut it close, do you <g>? Those puts can be had for 90 cents, which seems to indicate that not many people expect a selloff.