That's the same recipe I've always used, except I brew it so that there is 5 gallons of actual beer going into the carboy. I have also always done the mash hops as FWH because I was never really sure what adding hops to the mash would do.
The recipe itself is also much more heavily dry-hopped, I want to say that I was adding between 5.5 ot 7oz of hops to a 5 gallon batch. Um Ummmmmm.