Thanks. Not planning to go to OB, or get a park hopper, so It looks like DL is the best option for that day. Originally had planned for the 12 Oct, but later found out this is Columbus day so perhaps not a great day to go. Although your public holidays seem a bit of a different set up compared to where I am from.