Car is new to me. While trying to diagnose power loss / misfiring / shuddering under boost, I noticed the supercharger belt can be pushed down quite easily, at least 1.5" to 2", to the point it touches the tensioner pulley. Wondering if that is normal, or if the tensioner is going bad.