[boost] Reboot the boost web server machine

Dear Boost community, There is a system upgrade on the boost web server machine and we need to reboot the machine to activate this change. Can we setup a schedule to reboot the server machine (wowbagger.crest.iu.edu) sometime this week? It would not take long to reboot the system (e.g., less than 10mins). If it does not cause too much disturbance, can we reboot the system at 9am tomorrow (Aug 22, 2013)? Regards, -- - DongInn