I would suggest looking for a slightly earlier time if you want to be seated, with your food by 1:15 pm. We've always had to wait a bit for our ADR's (probably because they are trying to fill the big tables as efficiently as possible). Especially if you have to help younger children navigate the buffet line - even 10 - 15 minutes earlier might help.