Red doch nochmal mit deinem Provider. (aber vorher gut vorbereiten)
Dass er nicht die Uhrzeit immer wieder von Hand einstellen möchte ist klar.
Vielleicht macht er das nur einmal pro Jahr (so könnte man sich die 7 Min erklären).
Er braucht aber doch nur einen NTP-Daemon starten und der Zeitableich geht ganz automatisch.
Ich denke mal es handelt sich um Unix/Linux als Betriebssystem.
http://www.heise.de/netze/artikel/91609
Mach deinem Provider klar, dass wenn er NTPD richtig eingerichtet hat, auf allen Servern stehts
die richtige Zeit hat.