[GMAdan]

I agree with the comments above. It is difficult to get commercial quality for under 10k. I worked with many commercial machines and even with them it takes a good amount of time to dial in the settings. I have spent the take with makerbots and got results comprable to 20k machine I worked with at my university, of course not the same. I don't know the current machine you have currently but maybe thats something to keep in mind.