Well, I just brewed the OP's recipe with one minor change. I went with a single decoction instead of a double.
I rested the mash at 133F 20 minutes, withdrew my decoction, boiled for 10 minutes, then added decoction back to main mash and rested at 150F for 60 minutes. I then batched...