Haven't...but it'* pretty straight foward and when you do it..we'd love to have you do a write up on it with pics if you could.
Jack and support the front of the car.
Remove front passenger tire
Remove splash shield
Remove accessory belt
If possible undo ps pressure line
Unbolt pump from block via two 13mm bolts through the pulley at 12 and 6 on the clock.
Remove low pressure clamp and remove pump from engine bay.
Swap pulley and or res if needed, reinstall
Fill and turn wheels to bleed system.