I have read the warranty deed we were given when we closed on the property. There is nothing mentioned in it. I will see what else I can find.