Thanks for all the information everyone! We'll bring him to a pet store today and see what they say.
Meanwhile... do you think an old fish tank will do? What about putting him in the same tank as our turtle? (that's probably a bad idea right?)