To hog or not to hog!?

If I were you, I would stick with just pulling it, or cutting it down to about 3-4in in length. A mane does provide a significant amount of bug protection for a horse, and hogging (I've always heard it as roaching, but we'll go with hogging for now) it completely eliminates that natural defense.