Thanks! Local sale, actually a 4-hour roundtrip. Seller was a very nice gentleman, ex-pro musician who had bought it off the original owner in 1982, played it professionally for 10+ years and apparently forgotten about owning it for the next 30 years. 😆
Original case, original truss rod wrench. A set of well-played flatwounds on - possibly more than 30 years old, still holding their tuning and intonation and sounding perfectly fine, so they went back on after proper cleaning. Sadly, the funky little tuner adjusting tool is missing. But, the seller threw in a perfectly functioning MIJ Boss OC-2 instead!