I don't think it's classical high-voltage ESD reaching the monitor; it's RFI generating enough voltage to mess with the HDMI signal. Voltages generated by RFI will be relatively low compared to direct ESD.