I'm just gonna pull a number out of thin air… assuming you're looking to get it sold quickly… $5,000-6,000. Nothing authoritative, just a guess from what little I know.
I seem to recall an older one selling recently on the east coast for $5k, with some really nice bags, and it was on the market something like a year with multiple price reductions. It may have had fewer miles too. Just depends so much on finding the right buyer.
For what it's worth, you don't get much for mods and accessories, and being nine years old with 40k, I'd emphasize the maintenance history and reliability. That's what people are going to be concerned about.