thanks to Gary, Bruce, Bill, Chuck, and Jerry for the Xmas cards, and compliments!