Indeed, I haven't. I'm from rather farther north. I have driven reasonably long distances at reasonably high speeds though. If you ask me whether I'd have rather save 30 minutes on a 9 hour drive or have the speed limit top out at 85* I'm definitely picking the latter. If you ask me if I'd rather have people driving through a community I'm living in at 90 mph or 85 mph I'm definitely picking the latter.
* El Paso to Dallas is 635 miles, driving the whole way at 85 mph would take 25 more minutes than driving the whole way at 90mph. The reality is even further in 85 mph's favor because you aren't able to sustain 90mph the whole way and we're only going slower when we would be able to.
