These fish were found at Devil's Hole. I have included a link to a YouTube video I took of 4 fish swimming around in the spring. I have also included two habitat photos. Devil's Hole is heavily secured with gates, barb-wire fences, and wire paneling separating the public from the actual spring.

https://www.youtube.com/watch?v=Aw4Ke7FP4tU