So...I know we need an OS card. We are there for 4 days so it will be worth it. But what about DS? He's 11. I've read something about discounts but I'm not sure what applies and what he / we need to do. The websites aren't very helpful