The 135is is well loved in the market. That price is fair to low based on miles and what others have gone for. I personally don't get the value of the "is" model over the standard 135, but it does command a premium.
This one is tracked and with more miles at $25k (as an example)
https://www.1addicts.com/forums/show....php?t=1881225