Hello, looking to run Griptec 2.55(E85) upper pulley with my Ripa Tuned 6% lower anyone know what belt size that may require? Thank you!