I love pintos!
By far my favorite bean.
I had no idea these were called "Texas Beans", but it's how I have always made mine; with bacon, onion, garlic, salt and pepper.
I usually keep some leftover drained pintos on hand for a quick and easy Huevos Rancheros breakfast. I use a flour tortilla for convenience, with some heated pintos over it (I nuke 'em for this), then topped with cheese and thick and chunky salsa, then the eggs on top, and dressed with some hot sauce. Best damn breakfast ever, and it can hold me until dinner.