This is the first I’ve heard about a separate vacuum pump. Sounds like an int, cost effective alternative, one worth considering.

Anyone with experience with that set up , I’d be glad to hear comments.