Don't go for the Tek. Seriously, don't. Tek is pretty much the bottom of the barrel when it comes to A-brands. We got all their models for evaluation and every one of them had serious issues. You pretty much pay for a name that meant something back when analog scopes were still a thing.
The Keysight DSOX4024 is a good everyday scope, we have a bunch of the higher BW models. As KE5FX says they are easy to use, but because of their architecture (which was designed for max waveform rates at all costs) they have some limitations, like the small memory (which in reality, will end up even smaller because of how the MegaZoom ASIC uses it).
Keysight support is top notch, which was necessary as we had several which suffered from excessive noise and the NAND failure. Also, Keysight artificially limits the probe interface of the InfiniVision Series scopes (of which the DSO-X4k is a part of) compared to the Infiniium Series (i.e. Windows based high end scopes) which makes some probes incompatible.
The LeCroy WaveSurfer 3024z is the successor of the WaveSurfer 3000 (non-z), both which are manufactured by Siglent (the software is designed by LeCroy). They are good scopes, although a bit slow at times. They're not as zippy as the Keysight, but they have more memory and offer more math and analysis tools (and larger FFTs). In addition, they share the probe interface (ProBus) with other LeCroy scopes, which gives them access to a wide range of probes. Like all newer LeCroy scopes they lack Peak Detect, and without going into another discussion of the value of PD (a feature designed to compensate for the shortcomings of early DSOs which had tiny memory) with modern deep memory DSOs, it's down to you to decide if this feature is critical for you or not (I've last used it some 20 years or so ago, same for my colleagues).
I know some member from Europe had some complaints about a WS3000 but I'm not sure if this is down to the specific unit (we have many of the higher BW variants and little complaint). Unfortunately LeCroy support in Europe has taken a nose dive since it was moved to Germany (U.S. support is still great, though) so this might have played a role in the complaints.
My biggest complaint with the WS3000z is that LeCroy has used the success of the modestly priced WS3000 to squeeze more cash out of the WS3000z. Still, they are good scopes for what you get for the money.
As others said, other potential candidates could be the R&S RTB2004, and there's a new Siglent scope (SDS2kX+) as well as the Rigol MSO5000. None of them have active probe interfaces like the Keysight and LeCroy do, and really are of a different (lower) class than those two.
The RTB2004 is a 10bit scope, however it's limited in functionality, it has some memory limitations (the 160M memory is only available in segmented mode, in all other modes you're limited to 10M/20M) and even lacks 50 ohms inputs. Options are truly expensive unless you're lucky enough to get one of the rare bundle offers.
The Siglent SDS2kX+ is pretty new, has 200M of memory, but it appears to have a lot of capabilities for its class, offers a (software) 10bit mode and I believe has switchable 1M/50ohms inputs.
All came with a range of bugs, and I leave it to others to comment on what the current maturity state is of these scopes.
Take your pick.
In any case, I'd strongly recommend to get loaner units to try for yourself, and not buy based on reviews and opinions only.