Can anyone ID the type of turtle in the picture. Looks like a red ear slider to me. He's on craigslist currently.