Hi can anyone give me some cost advice for a used, good condition sony ps-f5? I'm a novice and my 13 year old wants to buy a used one at auction. thanks