What can I use on water pump bolts to make them come out easy when I service it next time. teflon tape,etc.