I know that the city of Cedar Park has some caves on their open data portal, but I've never been able to determine if the license of the data is compatible with OSM. Always happy to see another local contributor!