Wouldn’t it have been cheaper to just paint over (time wise, $/hr)? Not that this or anything else should have been done to begin with btw.