I used Denso Iridiums in my Vishnu WRX. They were only 1 step colder (HR7), when pushing 21 pounds of boost. I pulled them to check their condition after 20k miles and they looked like new. I even ran extremely rich (most WRX's do -I was almost 8:1 at 6000rpm) most of the time.
I would recommend these to anyone doing forced induction. I don't know about going two heat ranges colder, especially with such modest amounts of boost, but I suppose the Toyota guys know what they are doing though.