Good call.

FWIW, We've been using HP EliteBooks for several years now. (Maybe 840s at one point).

Never had any issues with mine and performance has been decent. Can't think of my coworkers ever complaining either.

I think that's what I would get for a cheap laptop. I found out an apple MacBook charger (USB C) can power one of these. Kind of a nice fallback.