4 ms·

Much easier. They could for example setup Active Directory policies to disable the use of IE by default.