If it were me, if we just had one day I would probably just do counter service. In my experience ADRs do take quite a bit longer, but we mostly go to the sit down with a menu places. I don't know how it would be if you chose someplace with a buffet. Counter service you walk up- tell them what you want- and it takes them about 2 minutes to hand it to you. Sit down ADRs, you sometimes have to wait to get seated, wait for the waiter, order, wait for the food, etc.