Try the E10, it could serve you well with gaming platform. Never tried the E17 for gaming, most of the guys buy it for music. But it will be a good idea if some of the user could give you a feedback back on the gaming.
Ordered Fiio e11 form your ebay store today. I was told its not possible to connect E10 to PS3 RCA ports as e10 can be powered only via USB or something. Want a standalone headphone amp without dac though.