So I've been looking to buy a portable set up and I came across a used Jaguar 8.4 for $500. Owner claims they have replaced vacuum motors but I might need to replace pump. This price seems a little too good, so I'm pretty skeptical. Any suggestions on what to look for? They stated it has been used heavily.