Doesn't seem too high to me. From my understanding 12-14k is the norm so thats below average depending on when the car was purchased. People on here have 50k+ w/ superchargers, I'd say this car is pretty reliable.
E90 ZCP Alpine White M3- Gone
F82 Azurite Black M4- Current