does that change your recommendation at all?
Not Really.
I'd get maybe $300 worth of printer, and then save the other couple hundred bucks for filaments and modifications that you'll want after spending a while with the machine. That's where the Ender 3 S1 fits right in.
I don't really recommend spending more as a beginner, because you wont know what you actually need until you start printing stuff.
Though, if you don't like to fiddle with stuff at all, the Bambulabs P1P ($599) is a thing that makes good parts. I still don't recommend it, especially for a beginner. But for someone who just wants stuff to work in an Apple sort of way, (expensive, locked down, a bit contrived, but mostly seamless) that might be the best choice.
So in that case, Bambulabs P1P is probably the printer you want, despite it's proprietary nature.
I probably should have asked what you were looking for in a printer before starting to recommend stuff, but at least we figured it out in the end.