Bats and railroad tunnels: a Texas side trip