Almost all of the Chinese systems (except the small tabletop models) include Corel drivers, and you should be able to find one close to $3k.
The 'auto-focus' isn't much to worry about. In most cases it is just a mechanical contact sensor. Without it you just move the table up/down with an adjustment knob until the lens is the correct height from the work surface. You will be provided with a 'ruler' of the correct size, so just turn the adjuster until it fits between the material and lens assembly - a couple of seconds at most and not at all complex.
What is your intended use for the laser? Cut, engrave, both? Wood, Acrylic, Anodized Aluminum or other materials? Thickness? Then I can try to help you find the right system.