Looking to change mine on my 2012 model and just wondering if anyone has done it on their own yet. I have to service the manual but it didn't seem altogether clear on what needs to be done just to change the belt ....could just be me not understanding the manual. I know there is a service tool...