I want to replace my serpentine belt, but I'm not sure what exactly needs to be done to release the belt tensioner. Do I need to unscrew the bolt? It looks like there could be some kind of switch or something on the tensioner arm, do I need to switch it? Do I just use brute force to push the tensioner down?