I think you misunderstood what was going on there.....
One mashes at a temp around 152. Then to mash out, I add about a gallon of boiling water to bring the mash up to (hopefully) 170. You don't want to go much higher, as higher temps can wash out off flavor tannins. Then I sparge with 170...