Chris - Nice purchase! I've had a couple of TU-717's and a TU-719 at various times myself, and I have a TU-710 at the moment (same thing) that is a keeper. Like any other 20-25 year old tuner, they're not always in good shape and alignment when purchased from an unknown party, but when you get a good one it's up there with almost anything else short of the megabuck tuners.
I guess I'm a little dense, but I hadn't made the connection between the guy who just donated to TIC and the cjk guy who posts here. We already thanked you by email but now I have the privilege of thanking you publicly, as well, for your support and kind words. -Eric