I bought 4 new in box for $1,000 a year and a half ago. RealOEM has them for just over $300 each and their prices are about what you'd pay at a dealer with a BMWCCA discount or other program.
Without looking for the set on the Bay, $1,750 seems a bit high unless they are perfectly new with caps, nuts and valves. Remember shipping too!