Planning a 4 night December trip and thinking about when to buy tickets. I know historically ticket price increases happened in August. Just wondering if this has already happened for 2017, or if theres any rumors around about possible dates for price increases? Thanks in advance!