To reboot ROC6, use "outlet 6" on http://hareboot4/.
After getting ROC6 back online, we have to do another "coda reboot" twice more to get the EB to connect happily.
During all of this, the Compton HV trips again. Alex says to keep an eye on
it and keep an eye on the background rates...