Yes, all paddles listed above are great.
I'm sure even GSI make a decent paddle these days too.... But once upon a time, the old GSI paddles were as heavy as a brick!

If it weighs under 550 grams and has reasonably good stiffness in the shaft, it should be OK. Under 500 is even better. And 390-420 grams is actually achievable. Get the kitchen scales out!
My Dean Snow LSD Airwave Elite Paddle is 408 on Dean's scales I believe. (I made that paddle name up - but the Superlight Dean Snow Paddles do exist, and are the real deal too! Full carbon fibre, very light, and very strong...)