I know this is kind of a dumb question but i've always wondered...is it bad to use WD-40 as gun lubricant?