Hi Barry, a few weeks ago I had to do the same (horrible) job of replacing the power supply caps in my 475A, same construction. And I also wondered why Tek used such a "distance" holder for the PCB to lock the nut. I mount it exactly as yours in the first picture and it?s sitting sturdy and fine.
So if you mount it as picture 1 and it?s alligned with the other board it is OK.
¸é±ð²Ô¨¦