I was looking at trying to grow some beans this year in my backyard garden. I was looking for Navy beans as I would like to use them mostly for baked beans. All I have been able to find locally is Pinto beans. I have never tried using them in baked beans. Has anyone else??