The basic price range (new) is from $4000 to $8000 depending on model (manual or semi). Any good/bad experience with any of them? (or any other not on the list). And in general, are these systems worth their cost? or a basic vacuum pen (around $300) can do their job?