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?