Our Galaxy is not 100% up to date, but fairly recent: it's from 03-aug-2010. Were there any recent fixes for the tool search or should our instance be recent enough?
Hmm. This should be recent enough to include the tool search and any bug fixes after we rolled it out. However, it would be nice if you could update your Galaxy instance and try again. If it still breaks, at least we're working from the current and same codebase.
Is it possible for you to update your Galaxy instance and try again?