17k is definitely a long shot, if its absolutely pristine with 60k, maybe 12k if its one owner and loaded, but I don't see any reason unless it has every option checked. For what it's worth, my '03 5-speed is basically loaded, but doesn't have Navigation, and I have 70k miles on it. I wouldn't fetch more than 9k-10k if I were to sell it, and that's being hopeful.
And yes, in my 6 month search for a manual especially on ebay listings, cars.com, and autotrader.com you 100% cannot trust if the listing says "manual" in the description or not, I know it sounds trivial but I think sometimes these dealers that list the cars like to just put manual because "you can shift the auto yourself" lol.
You literally have to look at pictures of the center console to see the shifter in your quest I'm afraid, or have a dealer go out and physically look at the car.
For what it's worth, this X5 is in Cleveland, I know you don't like anything but black, but its local, has heated seats and tow package, and looks clean, at $9,500 buy it now, might be hard to pass up:
BMW x5 AWD 3 0i 6 Speed w Clean Carfax | eBay