Well, good (and highly unexpected) news. Insurance company agreed the damage was below the cutoff for totalling the car and have, accordingly, agreed to the repair. The estimate came to around $6700 (before deductible) to include $1800 (!) just for the passenger side headlamp. (Woody tried to help me, but the insurance people wouldn't accept parts from miscellaneous third parties...even those with great reputations on 986forum
)
They apparently valued the car ('01 S, 95k miles) at around $11k.
Thanks, all, for the input...much appreciated.