Ahhhhhhhhhhhhhhhhhhhh!!!! (Sorry to be spamming on this one, but it is driving me crazy.) Denny corrects himself in that post and notes that 65% was wrong, he really gets 75%, which brings back the 1.085 OG on US gallons. Here's a version that uses 6 gallons and the same grain bill: http://www.brew365.com/beer_dennys_rye_ipa.php
Yeah, I get 1.080 or higher with this quite regularly but I think it may be a fluke with my system as most people are getting in the mid 70's.
*edit*
I just edited the original post to reflect Denny's gravity numbers.