Hi, We bought a used 3925 with SPE200 router from Ebay for lab training. no smartnet, no support.(our Data Center has full smartnet and support) on board RTC battery run out and our team (IT geeks) replaced it. My question is how to sync RTC clock...