Well second official post here. This is something I used to watch my grandfather and my uncle do. They would use the oil from their noses to oil their pipes. They would take their pipe while smoking it and rub their pipe in it to shine it up. Do I remember this correctly or was I dreaming?