2007 RAV4 brakes - fixed for sure?

Belated upate - the mechanic, when I asked him the following Monday what ATF he used, he confidently stated “WS”. Probably, he’s right and mis-spoke (or I mis-heard) the Friday before.

1500 miles now, no tranny issue or any other new problems.