So, car is totalled out.
Because I work for one of the biggest banks in the country and I'd only loan out $3,404 on it.
That's with every option and 100k~ miles, which adds quite a bit to the value...so if it is more in the 150k+ range...think along the lines of $2,500.
Good thing, since you're motor was probably toast too running that 87 octane.
I for one would also not have TCS or ABS, it makes stopping WORSE.