I just wanted to know what kind of portable audio player that you guys use to mix with. (you guys meaning professionals) - I am wondering what works well..I am in the market for one so please leave model numbers if possible. thanks for the help.