My friend Ralf use's one of these pumps http://m.ebay.co.uk/itm/271844104827 for his diy vacuum system quite successfully, below is the build video from his youtube channel:

https://youtu.be/viVbB5mzSaw

There are some other videos there too, detailing his machine and the vacuum setup.

.Me