Spoke to two luthiers yesterday and showed them photos. Both said the top of the nut could be shaved down, but they'd leave it alone if there were no buzzing, binding, or intonation issues. I can live with the minor cosmetic issue. Funny thing ... I was in the local guitar store yesterday and, while there were some better looking nuts on the LPs, none of 'em felt or played for me as good as mine. Also, those LPs had other issues such as unfinished lacquering and residue staining, even on some of the customs. So, my conclusion from all of this is that while Gibson has made some necessary and welcome strides at improvement, it appears that it still has a long way to go on the QC front ... plainly, that's not a surprise to anyone, although I had bought in initially to the idea that Gibson had progressed more than it has.
If I were to change the nut, I'd likely take it to a luthier in any event rather than the local guitar store from where I bought the guitar.