Would RGS give me the tip as to where he finds the ISINs?

I very much appreciated his help, but I sometimes have to find the ISIN quickly