KLIC target is 9 and yes have the May 10 puts but in the case of KLIC there were plenty more money to be made shorting this. We have been shorting this consistently (occasionally grabbing $0.50 in an intraday bull flag 'pause that refreshes') from 17.20 and then from 15.60. and target next is 9, I think we rally a bit (2-3 days) before hitting 8 but we really milked KLIC quite nicely from January.