Ticket #4627 themeroller bookmarklet conflicts with page scripts

I've posted a comment there for a potential approach:
http://dev.jqueryui.com/ticket/4627
If that doesn't help, detect if jQuery is already loaded and try to use it?
Jörn