I should've written this earlier - but - if anyone likes the white/blue sticker on the front pump cover, saying "Made in Germany", then those types of pumps are still available many places (including US, Europe). Shows up when doing an image search for "PIERBURG 7.20607.74.0 Germany". Make sure the item no. is correct, and that the imaged product is the actual item.

In any case, before installation of the vacuum pump, I like to pour some oil over bearing, all mechanisms and ports, install the pump with the dam(n) gasket. Then have a funnel with tube, filled with clean engine oil going to the big brake booster port. Put in Neutral, then hand-crank the engine a few turns (edit: in the correct direction), for the pump to suck a bit of oil for initial start-up lubrication. Think I read it somewhere here or other popular forums.