Get the belt from a shop. I paid $70 for the belt. Stock is 7PK1760, but I find that the aftermarket ones do stretch a little after a year. So now I use a 7PK1750 and it is all sweet!

Installing it is easy, just need to jack the driver front corner, remove the wheel and route the belt through. Worth putting the car on jack stands as it is safer. I also have a spare tensioner, currently keeping it in case my tensioner starts rattling.