There is goes! I couldn't find any documentation on "elementEnter", so I searched mootools-more.js and found that it's a function (along with elementLeave) that's unique to Tips. Which, of course, you already know, but perhaps that's useful information for somebody else.
Thanks again.
