Everyone else seems to have covered the important bits, but thank you for coming to ask the 'experts'! We're the folk who would be interested in it and would pay a decent price, so it's great that you took the time to help your friend and try to find a reasonable price for the Red Eye. $50-$75 is about what I'd pay for it too.
