The RPi suffered red light of doom. Several hours of downtime. Not sure if this is a one-off or something that might happen regularly. There is an on board watchdog timer that can be used to reset the Pi in case of doom. Another crash within a week and I will enable it.