Yeah I think it'll be close, even just with the body damage... On Autotrader they're going for $8500+, this site says $6700 wholesale:
http://www.vmrcanada.com/value_menus...s/00vopaat.htm
But if it is greater value, will they just write a cheque for the blue book value? That doesn't seem fair, as it'll cost us more than that to replace it with the exact same car won't it?