no I would let it idle like that a little. You are right that it is not as big of a deal as if the turbo was only coolant cooled. This is why a turbo timer is less useful on our cars than so many others.
1999 9-3, 2002 9-5, 1979 900
z06 and a bunch of Chevy trucks