Maybe its just because I don't have an extra track to waste but I never mic the hi-hat. It usually bleeds through enough on the other mics that I don't worry with it. I guess that doesn't answer your question though.
If I was gonna mic it I would prob use an Sm-57 ? Im sure some of the more professional guys on here can help you out.