If this was your for sale thread, I wouldn't post in it, but since you are asking...
9K may seem reasonable for all the work/parts that have gone in, but you can pick up a e34 M5 in pretty decent condition for nearly that much, and only a few K more if you wanted a low miler M5 to boot.
I've not seen a non M e34 sell for anything more than 5-6K IN YEARS. Look at gamites e34 for example, and that is a nice car. If I was in the market for a really nice e34 (like yours sounds) I would probably br looking to spend around 4-5500.
www.enthusiastauto.caNeed a car???
--'00 BMW ///M5 .:Jet BLK/BLK:.Individual- Modded
--'07 BMW M5/6.:Indianapolis Red
'91 BMW 850i J Spec Modded
'88 BMW 635CSi Lowered
'81 MB 500 SEC Koenig WILD RIDE