Darauf, ob man das irgendwie einfach umgehen kann, habe ich bisher leider keine interne Antwort erhalten.
Ggf. hilft es jedoch, den verwendeten DNS-Server umzustellen. Siehe auch Probleme mit Update-Server? - tomedo-Nutzerforum.