Just to be sure we are placing a BUY STOP on the WDC August 65 put at $0.25, in case the stock falls out of bed today, especially with a $5 strike price difference between 65/60 on the put side.