Hello, I've had a red eared slider for just about 15 years in a 40 breeder. He's never been fed fish and is very peaceful. That said I've got a rambunctious 5" mud cat that I'm looking for a temporary place for. Do you think the slider would eat him? Thanks.