Yeah, like I said, if it aint broke, dont fix it. I wouldnt sweat it as long as it stays quiet.
Just some thoughts for future reference ... The tube would still fit tight in the socket if most of the contacts were tight. But just one or two loose ones can cause problems and you wouldnt know it by going by how tight the tube seemed to feel in the socket. Just pointing it out for something to consider in case you have the same problem in the future. If you do, you can try what I listed in my prior post. Also, dont rule out dirty contacts (and/or tube pins) first if you have noise issues that seem to be tube or socket related. Uninstalling and reinstalling the tube in the socket several times can clean both the pins and the socket contacts. You can also use some contact cleaner and one of those tiny dental brushes that get between the teeth to scrub the contacts. Or even toothpicks and contact cleaner or 91% or better Isopropyl alcohol.
Anyway, glad to hear she's up and running once again. Hope you are enjoying the amp. I know I have been enjoying mine for a good clip over a year now. Ive been listening to my old 600 ohm AKG K141's lately. Got these back in the very early 80's. I replaced the worn pads and elastics just after I built Crack but hadnt listened to them much until recently. They bring back memories, they were my first decent pair of headphones and Im remembering the sound from back when and it's pretty cool. They sound good, just a bit rolled off up top and the treble isnt quite natural. But a blast to listen to.
Best.