I have never cooked red beans, but I have cooked other beans. I usually do the "quick soak" method. I think you bring the beans to a boil, take them off the heat and let them sit for a couple hours. Then change the water and cook for 1-2 hours until done. It sounds like you are doing it right. There are always some that do not get quite done and are a little harder than the rest.