Have been browsing this machine, and it seems you would do well to get around $400. I know it won't be what your friend would like, but remember it is an older machine and parts are getting harder to get if it needs repairs. The companies just don't support older ones any more. Price may also depend on when it was last serviced, as that is an extra cost.