So after some more research I’m starting to believe that the original pump is not enough for this task. Fortunately I happened to impulse purchase a huge Leybold 16cfm rotary pump from a person off Craigslist. It’s not exactly in good condition (It clatters a bit and probably needs a rebuild) but it pulls a good vacuum and it was dirt cheap.
