Great buck ! Congrats to your buddy. Texas is a three buck state, but only in certain areas. Here in East Texas, we are allowed two bucks (but one has to be a spike and the other 13” or more inside). I don’t kill spikes unless they are 2.5 or older, and they are rare. We can kill a 13” buck in another county which is why some of us hunt in different counties. I seldom kill more than one buck a year but it lets me continue to hunt legally. Can’t ever tell when you might see THE ONE !