which used #ThinkPad model should I recommend to my friend who wants to run Windows 11? she's a new college student, needs MS 365 and not much more. it should be small-ish, robust and quite cheap - maybe 500EUR max.

I was thinking this T14s maybe?

her dad wanted to buy a yucky consumer HP, please help!!