We’re looking to sell our house and have previously had a leak, this was fixed and we got a new roof, my question is, do we need to disclose this to potential buyers or would anything they needed to know come up on a survey?