My Next Step in Searching for Jim's Leonard Line

I had written in an earlier post about Jim's Leonard lines and finding a John Leonard living next door to possibly his brother and nephews. I know that Jim's Thomas Leonard lived in Cheboygan Co. MI & had his Uncle John Leonard living with him in 1900. The death index showed a John Leonard dying in Cheboygan Co. MI in 1901 who would have been the correct age to have been this guy & the one from the 1880 census. I've sent off a lookup request(on July 29) to the library there and am hoping to prove or disprove that.