Does anyone know anything about pinhead barley? I've been using it for the last year or so from a local kosher shop, on the recommendation of a friend who adds it to her mushroom soup. It results in a much finer thickening than normal pearl barley gives. I'm just curious to find out more about how it's produced as it doesn't seem to be in any food encyclopedia.