I got a question from a reader about the public library that residents should use. It is not the City of Austin library system as we do not pay taxes there, although we can use it for sixty dollars a year. I thought it was the Lakeway Library system but this map says it is not. Any ideas?