Professional video editing for linux?

["Kurt Lieber" <debian@kirpatrick.com>]

Doing some research for a friend of mine...

Are there any professional video editing tools out there for linux, similar
to Adobe Premiere?  I've done a bit of googling, and have come up with a
half-dozen or so linux video editing products, including Kino, Crow and
MainActor (Broadcast 2000 was another, but it seems to have been removed)

However, none of these are professional-quality tools and, except for
MainActor, none are even in a 1.0 released stage.  There seems to be at
least a few professional linux products for 3D modeling, such as Maya, but
I haven't found equivalent video editing products.

Thanks.

--kurt