[s-cars] List Opinion (main list seems dead)

[Larry C. Leung]

NAC, but asking for opinions on the beater:

Accidentally put Dextron 3 into the diff of a Subie slushbox.
Drained before running car, but due to weather circumstances,
didn't get a complete drain (high winds meant the drainage was
blowing ALL over the place) so it slowed to a trickle, but I
estimate that there was maybe 4 to 8 oz of ATF left in the diff.
Refilled with 80W-90 API 5 diff oil, 1.5 qts.

So the question is, is the trace amounts of ATF in the diff harmful
(seals, lube qualities?) or can I leave it as is? The weather, availible
daylight and my availible time make it difficult to want to do yet
another drain and refill, but if it's a likely bad situation, I will.

TIA,

LL - NY