Has anyone used this cleaner and degreaser? Does anyone have any pros and cons to using this for tools and cleaning in the garage?