PROFESSIONAL ROCK TOOLS : A COMPREHENSIVE GUIDE