Since I really could not notice any difference whatsoever between Vboost and Tboost, I thought I'd recheck it's fully operational again.
Well it is, but not at 3000 rpm, instead at 9000 rpm (!?!)
I'm puzzled. In Off mode it's off, nice. In Vboost mode it opens at 6000, nice. But in Tboost...