TC3-10 – PCB repair in Pulau Indah