[amsat-bb] AO-85 and SatPC32

I must be going blind somewhere. :)

I have searched up and down through the Keps and can't seem to find AO-85 or Fox1 in there anywhere.

And because of that, I can't find that in SatPC32 of course.

Is there some other name that it shows up as in the keps file that I have missed somewhere?

Many thanks,

Walter/K5WH