Visiting in Texas, my aunt cooked casserole beans from a dried bean. I'd never heard of them and suspect this is a regional name. What would I shop for in Minnesota to get the same thing, any ideas? They were small and white, and she said they cooked up quickly.