Recently replaced mine and all my belts.
You have no choice but to replace the seal anyway so that will be new.
Mine don't leak at all, had a bit of trouble getting the pipe in the union nut but apart from that it was simple.
I really recommend changing your drive belts is it has leaked alot replaced mine and had to clean all pulleys as the belt I removed had almost gone crispy and cracked badly when moved but I had lost all my PS fluid.
Was going to make a guide but after dropping my camera and breaking it I didn't want to risk damaging my phone so just got on with it, chucked it down a few times so had to dodge rain and was frozen.
But all in all I think it was well worth it.
I would keep checking your fluid and if it goes down make them fix it as it isnt fair to tell you they have fixed it when they haven't.