I have been looking at the dive Texas map and Inks Lake is mentioned. However, when you click on the the link there is no information about diving. So question one, has anyone dove there? Two, how is the diving there in comparison to Lake Travis. Three, does anyone have any interest in...