PROFESSIONAL ROCK TOOLS : A COMPREHENSIVE HANDBOOK