For what it's worth...I have a book, The Colorado Directory of Mines, published in 1879. I looked to see whether there was a mine named The Little Johnny, and found none. There was a Little John in Hinsdale County. Chaffee Co. was formed from Lake County in 1879, so there was no chapter for it, but I looked through Lake Co.There was no Little Johnny listed there at that time, so his claim was probably later. I watched for the name Ramsey as an owner, but didn't see it. However, there is no index, so I could have missed him, or perhaps he was not an owner yet.