ginto na yung P1.8k.....similar procedures lang ginagawa kapag papalitan timing belt. but in your case, pagtanggal ng pulley madudukot na yung seal. no need to remove the timing cover (and t. belts) unlike sa belt driven valvetrains. refer sa sticky thread sa taas kung pano tanggalin yang pulley if you want DIY.hth