Your budget is ample, don't spend any more unless you love the look of something.
I spent I think $1500 on both items around 15 years ago and both still going strong with a couple of seal changes on the machine being the only expenses.
At an average of three coffees a day over those years I've saved tens of thousands vs paying poodle to make me coffees, and it's enjoyable too.
@Oddjob is spot on about the grinder and beans being the important thing. And as
@pink poodle says, change beans/roaster and everything changes again.
Metering, dosing, weighing blah blah - you'll make shit coffees for a month or two either way, but like any skill once you start nailing nice coffees you won't worry about tech doing things for you.