I’m pretty sure my belt tensioner is bad, making my belt jump… and it looks like there are two tensioners available from Ford, one with a plastic pulley and one with a metal pulley, is there any advantage/disadvantage between the two?