That small blue once polished would be around 0.04cts, diamond miners find stones like that but they are not reported on as they are insignificant.
They have a little cash now but do they have the expertise to to get enough diamonds out, it all comes down to how many carats against cost!