fnirsi is ok.
https://www.fnirsi.com/de/products/hs-01?variant=45534144757978
I got the hs-01, its fine for the price. A selection of tips can be handy depending on application. Cut-off circle or chisel are usually what gets used most. sharp point ones are rarely useful.
It is not "cordless" though, you/they also need a 100W rated usb-c power delivery battery for it to become "portable".
You should be able to get a decent usb power bank and stay in budget. ugreen or anker something. Or perhaps they have one already.