I've heard that most of the time, the "improvement" those sorts of devices make is pretty minimal. I've no hard facts about the Tornado, except that I vaguely recall a thread about it over at Miata.net. I'm a rather old fashioned person, so when the gas prices get high, I usually just drive a bit more sedately, or ride a bike. Just my .02
-William