I have an old plaster & lathe ceiling which is cracked but has been filled, howver I now want to install downlighters so therefore decided on bes option is to replace the ceiling. Plasterer says probably be easier to board over with 9.5 depth boards due to mess. I dont mind ripping old ceiling down as house is in a refurbishment state already so more dust etc wont matter. What do you guys think board over or rip down and start afresh? I think 12.5 boards would probably be better also?