is there a way to redirect Internet Explorer users to another page?

I've seen websites that give instructions on how to do this in html, but not for wordpress installations. Where would you put the code? header.php? What would the code be?

This is also a feature request for a wordpress plugin that would do such a thing... or IS there already such a thing? I haven't found it yet.