Well, my suspicion has been confirmed. I'll probably replace the vacuum pump soon. It looks like it might be original. It's a little hard to see in the picture, right under the s-belt is a star. What is the consensus about quality of vacuum pumps? I'm probably going to want to replace it and never have to worry about it again. Any difference between OE or OEM (or does Pierburg make them all and I should just go with whichever is cheaper)? Are the differences in gaskets something you can discern while purchasing, or will I notice it when I have the pumps side by side and have to make a decision then?
I managed to give the wheels a good scrubbing with a small nylon brush, but some of the brake dust is pretty well stuck on. Guess that'll have to do for now
So many questions! Thanks for your patience, guys. It's really appreciated.