Unfortunately a TV aerial person drilled through a mains water pipe in my flat (1920's red brick mansion flat) and I am now trying to rectify the damage. Any suggestions on how to solve this would be much appreciated, I am assuming I need to fill the hole before I have the wall re-plastered...