Thanks. I thought that it would cause buyers to pause. Would the seller have to disclose this to the realtor handling the sale?