I don't guess you have shrimp in your tank with these cories do you? I've been wondering if these would be safe to keep with my cherry red shrimp.