the pbgc actually did file a docket objecting to the zero value you referenced. my recollection is that pbgc wanted the court to order a couple hundred million payment/recognition of royalties.
not sure i've seen anywhere that pbgc is seeking the billion + shortfall but they seem to be interested in the royalty issue