Now that the topic's settled, I'll throw in my 1.3 cents to stir the pot.
When I acquired my SVX, it had 142k on it, with the tranny being replaced at 80k. My mechanic flushed it and installed a tranny cooler, and put Redline ATF in it.
Car now as 182k, and tranny isn't toast.
Yet.
VK