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;10mm/3mm Spacers; Black Kidneys;Muffler Delete; 3.5" Dual Tips; Beast Power; "Dinan" Ducts; E60 SSK; BC Coils
--'00 BMW ///M5 .:Avus Blue/Grey/Black:. '01 Exterior Upgrades; E60 SSK
'81 MB 500 SEC Euro Koenig
'91 Alfa Romer 164S- Red/Black/ Recaro interior