Pat, the source seems a bit suspect. I looked through the 1860 census for all Robbins/Robins in Tex and couldn't find anyone suitable for the area and name. BTW, if he was called "Van" Robbins, it's probably that his real name was Martin Van Buren Robbins.