Well, shoot. Since we have nothing new to talk about, I guess I could give y'all a little bit of insight on what it's like to travel around this part of the metro area.
Driving from the northwest or north-central side of OKC to Edmond looks deceptively easy on satellite images, but the issue isn't miles so much as traffic. Commuter traffic is pretty heavy between 7:00-9:00am and 4:00-6:00pm. Friday evenings are even worse, as people head out to restaurants or weekend trips out of town. Not quite the LA freeways, but a time-consuming and nerve-wracking PITA nonetheless, and best avoided if possible.
(Being retired, I forget about rush hour traffic until I'm smack in the middle of it, trying to get to an appointment and anxiously watching the minutes tick away because the trip is taking much longer than I'd anticipated. Happens to me every single time.)
There are alternate non-highway routes you might take, but that means miles and miles of stoplights and stop signs on city streets. A really tedious way to go, and still pretty busy during rush hour. Better to wait until traffic clears before making the trip, if you're not in any particular hurry.
None of this is necessarily significant in figuring out Annie Jo's travels during the late afternoon and evening of the 11th, just something to consider. If she left school just after 3:00pm, was at a McDonalds around 4:00pm, and spent 45 minutes
somewhere, either before or after McDonalds, and then headed off to Edmond shortly afterward, she (or whoever was driving her car) would've been negotiating traffic that's about as bad as it gets on that side of the city.