You're very welcome. I have not seen that type of vacuum pump in a while, and my local yards are all but no W123s lately, maybe one or two per year or some years none at all.