Double your budget and have a look at the Zapp Automation thread for their new CNC machines.
If you buy from China to run a business with buy two so that when one breaks and you're waiting for parts/service/translation you have something to run your business ;-)
Use LinuxCNC or Mach3, both work. I find the user based support through the forum for Mach3 far to be second to none and Mach3 is based on an industry standard controller so there's always a post processor available that will do all the basics for any CAM you use,
Regards,
Nick