Henry-- I do check eBay from time to time, but would appreciate it if you could share the names of some of the eBay shops you deal with. Thanks for helping guide me to appropriate sources. Regards, Jim Havel JHAVEL@columbus.rr.com