That be the one. Coincidentally, my wife and I donated $500 to them a week or so ago.
I saw that story a while back. People can be so callous.
Clint of Clint’s Reptiles has a bunch of turtle videos. Unfortunately the best pet turtle is an older one with pretty bad audio. Here is the playlist, which does include the Red Eared Slider. He actually rates it pretty high but with some caveats.