I just bought 2 red ear turtles and I placed them in a tank. The tank is 20x10x12. I read some online info that they needed a filter and some rocks to play on. Well, can someone give me some links to buy turtle filters and how the filter works? My turtles and I will appreciate all your help!