$56,000 - $7,500 federal rebate - $500 credit for wear/tear/miles on car = $48,000.00 (and diminishing).
Just looked up the sold listings, and most recent RED M3 (VIN x4657) fully loaded (no FSD) with 19" RIMS was sold for $55K on 03/22/2018(2.5K below the sticker price of $57.5K) and had only 100 miles to it. I don't see anything going above the sticker price anymore. The premium on eBay was until January when they were being purchased and shipped overseas.Just browsing through the M3 sales on eBay for the last week or so, they are still going $3-5k above sticker. One did sell at sticker but all other ones were higher.
This one does have higher miles but my guess is that 1700 miles won't deter someone who really wants one.