SPY - was looking at puts today. Mini puts are significantly more expensive than the traditional puts... Trying to say something I think...