aaarg I wrote out a list of the primes up to 100 and included the Grothendieck prime! I had to go to wikipedia before I found it