Hey Bud,
Not trying to rain on your parade, but $80k for a (what I presume to be imported) E92 with 100k on the clock is a very high starting point?
As an example, this is at West Coast BMW :
http://www.carsales.com.au/dealer/de...ock&sort=Price
So you get a 12 month BMW Warranty, 12 Month Servicing etc
Anyway, the AW E92's are stunning, so who ever buys her is going to be happy, good luck