>Just tried a complete reboot and now they both show in IE, so I guess we'll never know what was happening.

That seems to have been related to a cache issue, probably to IE only, based on the active instance. Once the reboot was done, everything was restarted, and some of that was reseted.