I brewed this labor-intensive beer last night. I agree with sniperd that this was a seriously thick mash...it lautered very, very slowly, but it all worked out in the end.
I usually boil-off about 1.25 gallons, but for some reason I started with 6.25 gallons pre-boil, and only 4.5 gallons...