Anyway - I am going to sand it fully tomorrow. I am then planning
on hanging 1300 grade lining paper on the walls next weekend,

I'd rather have bare brick than lining paper. Horrible stuff. I really hate
paper join lines on the wall. Pock marks or roughness I can cope with, it
just looks a bit mediterranean. ;-)

Christian.