I would try to chip off the plaster at one spot as a test. If it is that hard, you can definitely still remove it with the concrete grinder (device costs about 100-120 euros new), which is no more work than sanding. The concrete grinder also sands it off, but you really have to be careful to work evenly, otherwise the surface becomes very uneven. That's why I said completely removing it is probably easier. However, then you also have to replaster. Another option: only work on the burrs with the electric scraper. That should work, but will surely take some time. You need the attachment for hard materials (there is also one for soft materials, which is flexible and gets damaged quickly on hard surfaces). These disc sanding machines probably won't work if the plaster is very hard (so not gypsum). Other alternatives: smooth filling, but that will likely require a lot of filler. Or stick gypsum fiber boards on top with adhesive, but then a new surface treatment (filler, primer, decorative plaster/wallpaper) is needed again. The decorative plaster can be easily rolled on with a paint roller, so you can do that yourself easily as well. I would probably try the concrete grinder if gypsum boards are out of the question. Depends on the area.