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-Style 65 Wheels; 9.5" Square Set up;275 Tires;Spacers;Black Kidneys;Muffler Delete; 3.5" Dual Tips; Beast Power; "Dinan" Ducts; E60 SSK; BC Coils
--'07 BMW M5/6.:Indianapolis Red
'88 BMW 635CSi
'81 MB 500 SEC Koenig