The previous owners quite clearly had a leak in the loft and this affected the bedroom ceiling. Looks like they have patched the repair although it does stand lightly proud. Worse part is they have painted the whole ceiling in the cheap textured paint you can buy at DIY stores - you know a bucket of paint with grit in it! Is this stuff reasonably easy to sand down or will it be a complete re-do?