Brief outage in Velarde on 13 December

We are implementing some upgrades and restoring monitoring access to some devices in Velarde which necessitates a reboot of some equipment. The outage should not be longer than a few minutes between 9 an 10 AM.