After reading Josh’s comment in my last post suggesting that the noise I have been hearing is an empty power steering fluid reservoir, I took a look and sure enough there was just a tiny amount left in the can. I had planned to get my leak fixed on Wednesday but decided to cut out an extra day’s driving and get it fixed today.
And so, after a few hours at the shop, Carrie is repaired[*] and everything is groovy again. When I picked up the car I talked about supercharger options and the mechanic was of the view that I should do nothing until it actually breaks. I am convinced that an oil service is of no value this late into the part’s lifetime so I’d say it’s a replacement/recondition or nothing for the time being. We’ll see how things progress.
[*] Unless of course I get @dbwildo’s level of quality repair.