Well, maybe you should contact Microsoft and ask them to provide a port or provide similar functionality. Your users have, after all, paid Microsoft for the privilege of using IE.