Hi,
I've got an 05 997S and will probably replace the IMS bearing and do an RMS replacement with the clutch when needed as it's beginning to leak. Was wondering where you had your work done? That's a good price you quoted. I know the Porsche dealership up in Arlington, VA wanted something like 6k to do the clutch/RMS. I passed.
Thanks,
Nick