I'm glad you managed to get a hold of it. It's a gorgeous set!
If I hadn't spent a lot of money on records around that time, I would have bought it myself.
Also, a bit later my Laserdisc player broke down and I haven't fixed it yet. No point in getting new media that I won't be able to play.
Actually, that never stopped me before ;).