If they still have the board, try booting with boot switches set to UART. An XMODEM 'CCCCC' should show up in the serial port at 115200 8N1. If that's the cas

If they still have the board, try booting with boot switches set to UART. An XMODEM 'CCCCC' should show up in the serial port at 115200 8N1. If that's the case, bootloader in SPI got corrupted. There's a rescue tool for this UART boot. It can fix that.