So 3700 plus me is 3930, close enough.

Your comment about the cooler doesn't make sense. The hotter the transmission, the more the radiator cooler will do to cool it since the coolant temp will stay about constant.

I've heard of this brand for many years, not sure what the name brand/cheap comments mean. The one they recommend is not exactly inexpensive at $630.