I am running stock k20a3 in my ep3 with modified Auto tensioner, stock crank pulley, and 3.8 supercharger pulley. What size belt should I be running and brand with part number if possible. I looked for an answer in the forum a but most people are running the stock autotensioner with k24 crank pulley.