Hey, I actually figured out a better way with a function:
// remove tiptip box
add_action( ‘wp_print_scripts’, ‘de_script’, 100 );
function de_script() {
wp_dequeue_script( ‘jquery-tiptip’ );
wp_deregister_script( ‘jquery-tiptip’ );
}
It worked great for me, let me know if it works for you as well.