Verde claro I know we have because Tom told me I could list it for the Seedsavers which implies we have plenty.
That posting you linked to is from 2006. What he has from year to year varies. I hope to have the bulk of listings online and ready to order by December 1st, though odds and ends may end up trickling in, especially since part of the process of getting them listed is a bit tedious. Maybe I'll recruit one of my teenagers.
Don't worry though if you don't see something you wanted, you'll probably find something comparable. We'll have at least a few hundred and I would imagine even more than that.