Is that chart saying that the pump pulley should be approximately 80% of the size of the crank pulley? I'll admit I'm in the weeds a bit, I've been out of working on cars for almost 15 years. Finally able to jump back in, but getting older and kids has my mind a bit foggy.