Hi Laurie. This project has returned to haunt us, I see. Back in December we decided to switch to Nemeth Code for the IP addresses because they are being used in math context with the equals sign. Your transcription of 2001:db8:130F::9C0:876A:130B looks good to me. It's hard to see all those punctuation indicators and numeric indicators when one of the highlights of the Nemeth Code is its compactness, but I see no other way around this. Good job.
Lindy