Hi all, sorry for hijacking this thread. First of all, I'm planning to paint my plaster ceiling on the first floor which has a bad water mark black spot due to water leakage at the pump previously. The plaster ceiling has a small 2cm hole now because water was dripping onto the same spot for a few days before we realize the severity. Can any sifu please suggest what paint/primer or any patching tool to patch the hole before I paint on it? I'm currently using a masking tape to cover the hole for now.