Cycle to work scheme. got a list of four candidates

[Worthingsteve]

would like to see what the people who know far more than I do about these things think of the options. I have four candidates in my list.

in the order that I think of them to be

1. Specialized Turbo Levo Comp alloy 2022 price 5500 Specialized
2. Scott Patron ERIDE 920 2022 price 5399 Scott
3. Cube Stereo Hybrid 140 HPC SLX 750 2023 price 5299 Cube
4. Giant Trance x E+2 pro 29er 2022 price 5699 Giant

Riding will mostly be trails around the south downs maybe the odd visit to bike parks.
My experience level is zero. My knowledge is zero!
if I have missed any ideal candidates please let me know.
my maximum tax free cycle to work scheme is £5000 so I am topping up with my own money. limit of £500 ish over the 5K
The Giant is a little over budget but it looks nice however the lower capacity battery puts me off a bit.
my current Ebike is a 16 year old mountain bike with a hub drive and DIY built, it is very fast but totally illegal.
looking to make a start in what looks like a great, healthy hobby!
the vendor my company is in cahoots with is Tredz, so I need to choose from their range of bikes.

Thanks for any assistance.

Cheers
Steve