My advise is to go for an ION, and just have a marker that works without you having to fiddle with. The shop can fix it.
I bought a cheap 2nd hand cocker when I first started and didn't enjoy my first few months because I was always trying to get my marker working alright.
What could be fixed in a minute by Mr IR3, could mean you taking a trip to a shop or even worse having to send it off in the post to be fixed. Go for something a bit more complicated if you decide to join a team, you'll have the tech support to be able to fix problems then. Possibly, depends on what dumbasses you hang with.