I agree. It's a respectable flute, but the price is a bit disproportionate I think. Used flutes in mint condition that have been serviced every year by a top notch repairman that specializes in flutes generally sell for 80% of the lowest price on a new model. At most. Any micro abrasions, scuffs, scratches, etc always detract from the cost in addition to any necessary repairs. If it hasn't had a servicing in the past 6 months or so that cost is usually subtracted from that as well (and a decent servicing for this flute runs between $150-200). Also custom extensions generally lower the resale value in my opinion.
I would lower the price to under $1000 probably. I mean... if you keep a sharp eye out for them you can usually find a used Muramatsu EX in decent shape for about $1600 on Ebay and they're around $3500-4000 new, and those are spectacular flutes.