|Source: Bob Jones (1982)|
|Prep time: 30 minutes||Cooking time: 15 minutes||Total time: 45 minutes|
Drain the water from the pinto beans and pour them, along with the hot beans, into a large non-Teflon saucepan. Heat the beans slowly until they are soft. While the beans cook, shred the cheese, dice the onion, chop the peppers and cut the tomato. When the beans are soft, take a potato masher and mash the beans against the bottom of the pan. Add the cheese, onion, peppers and tomato and allow it to cook until the cheese melts. This can now be served with taco shells, which can be broken into chips or used as tacos or tortilla chips, or anything else.