Jim, you are so right!
Got the IEC socket installed, very tight, but fits well after a little massaging. The right most heat sink is bolted in, and I can just slip a piece of paper between the socket and heat sink.
That heatsink is held in and indexed with Joe's stepped nylon washers and assembly bolts which replace the original output transistor sockets and screws. These are tighter tolerance than the original output transistor sockets and screws. Due to the tighter tolerance, the bottom two holes between the chassis and heat sink are slightly off and won't take the step washer.
Next step is to drill IEC socket retaining holes sized for pop rivets. Then, mock up the heatsinks on the chassis for best alignment with the nylon step washers, number their positions and orientation for future assembly, and carefully ream out any misaligned holes.
Joe's instructions detail how to do this with drill bits, but I use a small tapered reamer, and do it now, not later.