May 2012 $15.00 puts are $2.10/share, so at the current market price the insiders are still ahead. They may put a premium on diversification, but they also sold stock before the IPO.