TC3-10 – PCB repair in Bukit Rajah