I've done this on my libby, and although a tight fit, there is absolutely NO need to trim anything. Bug me and I'll take some photos as I'm about to remove the tensioner to change the water pump. The main issues are:
* disconnect the negative battery terminal and put the terminal in a plastic bag or a glove. * Let the engine cool down
* You MUST use a serpentine belt tool as clearance is tight (you use it as a lever to swing the LEFT most pulley clockwise). The loaner tools at the autoparts chains like Autozone and Oreilly are perfectly suitable.
*Once the belt is removed, remove the bolt as shown at 1:19 in this
video.
*inspect the belt carefully, and if there is any sign of cracking, replace it with only the OEM belt (05135745AA) as there is a hatched pattern on the back of the belt to make sure there is good grip on the water pump pulley (the big smooth pulley with no ribs). All the other aftermarket belts I've inspected don't have this hatched pattern, and I presume the hatching is there for a good reason (probably to prevent slippage and overheating).
*If you bought an aftermarket tensioner, inspect very carefully to make sure there is no play in the idler pulley bearings. I bought an aftermarket tensioner initially but returned it when I discovered the slop and ended up buying the oem version.