Well I've cashed in my options. Market closed at 9.5 so I thought why not. Prefer to give my money to the people actually doing the work.