at 25k it was probably over 100k and without maintenance records. these things hold value incredibly well. one guy on nsxprime bought a used one for 50k, drove it for 5 years adding about 10k miles, and sold it for 48k.
Intel Core i7 920 || Asus P6T Deluxe V2 || Noctua NH-U12P|| 12GB DDR3-1600
GTX 670 || Sandisk Extreme 256gb || 1TB Caviar Black || Corsair 540 Air ||Seasonic X650