get both. eventually if you stick with this car youll have a drawer full of different pulley sizes.

i think you should be okay with the 3.5, but you never know until you scan it.