this lot includes a Pfaff 7550. I've been sewing on a 20+ year old Babylock which I like (I think I like it, LOL, as I don't know anything different).
I bought my 7570 brand new and mine cost about $3,300. The 7550 is just below mine and I LOVE my machine and got it because of the on-board walking foot. It is all metal inside and that is a very good thing, mine stays at home due to the hefty weight. That sounds like a good price, look at and 'lift' other machines in that price range. Mine has never given me a minute of problems and if it has been gone through, you should be fine to buy it. The service charge could be $100.
Let us know what you decide and if you got some fabric.