Well, in this case, you might want to reach out to Mike Lading (if I spell his name right) , who was in charge of Trophy of Texas—he would know for sure. He’s not the easiest person to talk to based on my experience, but he’s still on Facebook, so you can try contacting him there.