If you run a small diff cooler, I presume it wouldn't require any kind of pump, and that the oil would circulate through the motion of the diff?