I did some more digging around and found hints here and there about Gigandes beans. For beginners, the bean identified as Gigandes on Purcellmountainfarms is clearly a lima similar to Big Mama as sold by Burpees.
http://www.burpee.com/vegetables/bea...rod000574.html
From one source, there are 5 different varieties grown and sold as Gigandes. From another source, they can't be legally sold in Europe unless grown in a specific region of Greece. From a third source, some links showing what is supposed to be varieties that can be grown as Gigandes.
http://www.seedsofitaly.com/product/269
And this one looks like the real deal.
http://www.rizosonline.co.uk/index.p...products_id=43
Here is a thread discussing them.
http://www.allotments4all.co.uk/smf/...;topic=55025.0
DarJones