Thank you for your kind advise. I tried the WD-40 approach as well as an unlit propane torch, but no rpm change. So I left the car in the garage for a few weeks and decided to reconnect the vacuum pump this morning. Well guess what! The engine runs as smooth as if nothing ever happened. Problem solved... mystery unsolved.