Your $3000 budget is awfully close to new machine price for a few models. I'd try using the quote form at the bottom of the Forum HomePage and see what the Site Sponsors can offer. Charlie at JetBlack Espresso is worth chatting to about the Profitec Pro 600 which would be worth a look. You should also be able to get a good deal on the Profitec Pro 500 PID under your max price if you are going to stay with a Hx machine.
or the link for the quote form is https://coffeesnobs.com.au/forms.php?do=form&fid=1