Please can you use an installation of jQuery Tools that doesn't include the jQuery library.
It would make life easier for other developers since reloading your version of jQuery instead of the WordPress version of jQuery breaks any plug-in that's called before yours and that relies on jQuery.
If you could then replace:
with something like:
It would fix some of the bugs being reported here.