Has anybody installed the alternator pulley? If so, how difficult was it, and what belt was used?