I'll state it even more strongly: unless it's a restaurant you absolutely have to do and can't get any other time (e.g. CRT), or possibly during a summer 8am general opening, a 9:15am ADR inside the park is a bad idea. Better to either grab some QS on the way there or plan to eat after 10 when things get more crowded. 9:15 is usually prime time to get on attractions.