Is it correct that the Deluxe Dining Plan credits are pooled between kids and adults? Does the receipt just show a total number of credits remaining? How does this work for a buffet? We will be a party of 9 people (2 adults and kids ages 14,12,11,9,8,7,and 4), with only one of our rooms (1...