I was looking at the EliteBook 845 G10 which has 32GB of DDR5, Ryzen 7840U and a SIM slot(!) that I could get locally for €1200 and potentially get a discount if I return my old laptop. I think it's a good value for the price. What else do you suggest?