Do either of those really work? I work at jiffy lube and my friends who work sware by them because they used the engine flush and he said the flush worked really well and made his car better, he could tell the difference. as for the TX-7, i'm not sure?! but it claims to make things better as well. Anyone try either or know if they work? Thanks