I went to pull up record fish in Texas. I saw that the largest Tiger Musky caught in Texas was only 9 pounds. Y'all need to be stocking some more TM!! I think they would have plenty to eat in Lake Texoma or those other big impoundments full of bait fish. The YP record was also surprisingly skinny. Maybe it was a different variant of YP (Rio Grande YP?) (I was curious what the record Pumpkinseed was and there was no record, does that mean there isn't any PS in Texas?)