Cool, but overall I'm not sure how I feel about this. As much as I like cichlids, I'm not a fan of species displacing native species. I hadn't heard of hot springs housing cichlids, but I've seen a variety of photos stretching from canals in Florida to streams in Hawaii with anything from plecos to oscars to M. johannni.
Even if that pond is isolated from others physically, it's not impossible for them to spread via birds, etc.