BuddyPress.org

Take a look at your /wp-includes/js/jquery directory.

WP has the UI files separated by component, so it’s not bundled as one file.

So you should be good.

Still, FlowPlayer’s jQuery Tools is smaller as a whole.