most efficient way to change header?

I've got a few friends whose full name doesn't appear when they  
send me email.  I've been using this to fix it:

:0
*^Return-Path: <RobertA473(_at_)aol(_dot_)com>
{
        :0fhwc
        | formail -I "From: Robert Austell <RobertA473(_at_)aol(_dot_)com>"
}

Is there a more efficient way?

What if I want to totally get rid of a header line like:

X-SomeMeaninglessTripe:

:0fhw
* ^X-SomeMeaninglessTripe:
|formail -I"X-SomeMeaninglessTripe"

?

thanks
TjL

--
        Tj Luoma (luomat(_at_)peak(_dot_)org)
                http://www.next.peak.org/~luomat
                        Awaiting Apple's NeXTStep