What are folks' experience with changing the snout seal? I was under the hood yesterday aftre washing the car, and discovered oil leaking on the accessory belt. I see also that ZZP also sells a remanned snout, which would probably be a little bit of overkill for this issue, but I also don't have a pulley puller, and if I'm going to have to buy a $100-$120 ish tool to replace the seal, I might as well spend the extra for a rebuilt snout, I would think....Any input?