Right that's the correct tool, usually they're needed with smaller sizes since they're easier to strip. As they get larger (15mm+) it takes a bit more abuse with a standard wrench to actually strip them. So you can usually get away with a standard wrench in the larger fittings. I don't know the size off hand for the transmission cooler fittings.