Is it OK to use vaseline to hold channel gaskets on? Also I read ssomewhere about filling pump cavity with ass lube to help it prime? Is that necessary?