Here in Texas, Pintos are definitely the local bean. I like them with BBQ, and I use them in my chili (yes, it is legal to use beans in chili in Texas).
Honestly, I eat black beans 10 to 1 over Pintos. That's just what I prefer.
Your recipe looks like a good one. That would be a pretty good side for some sliced brisket.