Hate to admit it, but I was less lucky on the way back. Got nailed 83-in-a-70mph zone in Wyoming.

Cop was on the other side of the highway driving some kind of SUV. To turn around he had to cross a sharp ditch dividing the lanes, far too steep for a passenger car. But he did and he got me.
Robert's magic is apparently very strong. My broken odometer repaired itself on the way back. Even more amazing I got 13.9 going 80ish (but in an 80 zone) with the AC on. Car ran like a champ. Most of the trip is between 6000-7500 ft with a couple 10,000' passes. Temperature help a rock-solid 88deg regardless of speed or altitude.