AWS is rebooting db025 on January 17th; it should be restarted before then.
This went through cleanly.