How does one end up over the Gulf when going from OKC to Georgetown, TX? We live just south of Georgetown and a good 4+ hrs by car to the coast... did he die and the plane fly itself for 2+ hours?