Have you seen tropical fish in hot springs?