I have a friend who is involved with saving seeds for heritage beans as well as other vegetables.  She is trying to find some seed for the above - here is her note to me:

I wonder if you could ask around in your neck of the woods, I'm looking for a source for 'BABY Fordhook Lima Beans' (bush Beans) NOT 'Fordhook 242'.  Burpees and others used to sell them but they don't anymore. This is another bean that seems to be going the way of the dodo bird and we want to preserve them. Being your weather is more suitable to growing this bean you might know someone who is growing them or know someone who is. If I can get my hands on a few seeds I'll pass them along to someone to grow out and preserve. Thanks for any help you can give me in finding this elusive little bean.
 

She and I may have some seed to trade, depending on your interests.  Please let me know if you have some, or a source.  Thanks in advance.

Nancy.