So my Dad recently discovered that I smoke pipes and told me that somewhere in my grandmother's basement was a collection of my grandfather's old pipes. I couldn't find them, but we met for my birthday and he found them for me. Best birthday present I could ask for. Looking for advice on how to revive these guys beyond just a simple deep cleaning with alcohol. Any suggestions?