What's the biggest crayfish/crawfish/crawdad you've seen in ohio

This dude was about 7-8 inches

This dude was about 7-8 inches