Hi, my friend has had the water cooler brake in the auto box so there is water in the oil, do you think it will be ok just to flush out the oil, 3/4 times and the box be ok he did drive it like that for a few miles i shuddered when he told me that, the garage (in Tenerife) was frightening him with the gear box will be useless he better to buy a new one, me thinks not a good flush should return it to a good working condition, what do you think ?