Thanks, Ian. I managed to get to my regular vet (I am on a very unfavorable work schedule this year, not getting out until after 5 p.m., hard to get to vets/post offices/ etc., and additionally am overwhelmed with work) and obtained some eye antibiotic cream. When I went to the lizard's tank to take him out and administer it, I found that he had died
Rigor mortis had not yet set in, so he must have died within that hour. The old boy was at least 9 years old (being wc, I'll never know...), and except for this eye gook thing, had had a good life. Nice UVB light to bask under, plenty of rock ledges, good grub, etc. I have a young pair of Yarrows now and only hope they live as long as this old gentleman did.