Well, it is time to punch out. So I would like to thank my De Tomaso family a Happy Thanksgiving! Should you be some place that does not celebrate this holiday it is not a bad idea to give a bit of thanks too. Larry - Cleveland