I had the same problem. I decided to try out both of them, and I purchased the Pinokio and never looked back. The Prophecy is a decent loader, but not very battery efficient and you have to hold a button to turn it on. Also, it has alot of modes (Which could be a plus.) The Pinokio is a one button operation. It has a bend censor, meaning when balls pass by the sensor, the loader spins.
Definitely get the Pinokio, you won't be disappointed.
Infinity Legend for sure (Only about 400 w/ shipping so you have 100 bucks left over.)
I received mine today, went out and shot some paint. I must say, probably one of the easiest guns to walk and it feels great in the hands. Stock tadao board, so you're getting a 150 item in a 350 dollar gun. Also, since it's not your budget, you'll have a couple bucks to spend on a good pod pack or mask, ect.