Think my boss found a hager double insulated 3 phase board, but if cant find one, like u say external RCD.... seems this would perhaps be best anyway as pointed out by plugwash, RCBOs wont stop a neutral fault...
so maybe external rcd to supply 3x double insulated single phase boards (maybe...