Getting/converting proper busid for gpu

I “think” I figured it out.

sudo lspci grep 3D shows 01:00.0 which will become PCI:1:0:0 and sudo lspci grep VGA shows 00:02.0 which will become PCI:0:2:0. Remove the padding (leading zeroes), replace the dot with a colon.

Current config linked in this thread.

I just wanted to confirm this aspect as I still cannot get the nvidia driver to load.