99.9% of the time, this should be a non-issue for most of us anyway. By the time you get parked, your truck shoul dbe way cooler than 400*. FWIW, I have always used 300* on older rigs.
However, it is a non-issue for our trucks, anyway, since every indication I've found says that in the powerstroke turbo, there is a residual reservoir that keeps the quanitity of oil up upon shutdown (so that it can spool down and still get lube) and helps to keep stuff cool so it won't coke. Additionally, new oil technology has made coking almost a thing of the past. YOu just don't need to worry about it.
That said, I am still inclined to let her cool down if I have time. But If I am driving up to hunting camp, and a big elk jumps out on front, you can be sure that i'm gonna shut her down right now without thinking twice about it.
You just have to be common sense about it. if you just pulled 10,000 feet worth of grade at 25K gross, I would recommend that you don't pull over and shut her down right away ('course, that goes for NA and gassers, too, it is just common sense). But the same grade empty? I don't think I'd be too worried about it. Maybe let her idle for 10 seconds, tops, and shut her down.
Heck, by that time, she's dropped under 350 anyhow.
To those that care, downshifting to come to a stop will cool your EGTs so fast it will make your head spin. I drop it into direct, then into 4th before I come to a stop, even after an 1,100 degree climb, by the time I stop from 60, it is cool enough to shut down (under 350).