And I sold one not quite (but very nearly) as good as Dave's (now Ted's), for £250 a few months earlier.
I think both of those VGC MK1s were well worth the price.
After all, they are not only highly regarded for their early build quality, but also scarce - MK1 '80s (and MK1 '77s) were produced for less than two years.