We had to reboot the server, seems ok so far. The host is investigating the cause..
Seems to have been a 1-off so far. The host is prepared to swap us to a new chassy if it happens again. I get paged out for outages so the system will let me know if it hiccups again.