Nope, and actually that car is now totaled. She was on a trip out of state, hit some ice and went into the ditch. The next morning she went out with the tow truck driver to pickup the car and found 4 other cars in the ditch in the same spot, one was on top of her car.
Thankfully, I found her another TDI a few months later. Its the same year but black and with a few more miles. She got a better price on it too, $7k I think. Still miss the grey one though, the previous owner took immaculate care of it.