I would get in contact with ohio fish and wildlife. Not really sure. I am starting to wonder the same thing though since I got a red tail. I know they normally don't get that big but I have read rumors of them getting 12 and 13. But I can't find anything to support that. I'm sure I have nothing to worry about. Now with a Burm that's a different story.