Wow. Only paid £575 for mine. Of course that was in 1986! That said, the E string was pretty much dead (even after changing strings).
I bought Japanese Fenders to take out on the road - theft is an ever-present threat, no matter how careful you are. I tend to use the 'old ones' for recording more than live work. They do get the odd trip out, though.