We're taking our almost-6-yr-old DS and 9-yr-old DD to Warwick Castle for DS's birthday treat on Saturday - any tips/recommendations would be appreciated!