If you're only planning on using it for makers mark and you have a 5K budget, I'd suggest looking into the best fiber laser you can get for your money. That will give you the best quality, deep mark.
That said, I use a 10Watt diode laser that ran in the 800-900 range and I am happy with the...