you should be fine. even if there isnt much of a difference, it gives you a backup for if the tube dies down the road. having a spare never hurts as just like a lightbulb, you never know when that filament might break.
edit: and the tube world loves NoS tubes. that includes many current production models that come with NoS tubes you may or may not be able to find easily.
i would personally switch. because i like trying out new toys lol. try it out, just cause he didnt hear a difference, doesnt mean there isnt one. if it sounds the same, pack it back up for a rainy day. or use it and pack up the stock one.
edit: one thing i will say. get some foam. foam is cheap. poke holes where the pins are and use it as a cover on the pins. will help slow down corrosion over time if you plan on keeping things for 20+ years. if you dont think you will, dont worry about it. someone else’s problem lol.