Ok rethink: a butt is *with* the head but a head-butt is *to* a head. Thus head-butt is *not* redundant. Unless misused as in He headbutted him in the stomach. Gavem drip. I meant gavel drop but kinda like the typoes...