TC3-10 – PCB repair in Jakarta