I'd been looking for a similar spec car for a while.
There's a blue over black 135is on DC craigslist with 25K miles for $21.5:
https://washingtondc.craigslist.org/...266220635.html
And a 2012 with 64k miles on ebay:
https://www.ebay.com/itm/2012-BMW-1-...torefresh=true
Neither have HK though.