Did any Texas cavalry regiments ever serve in Lee's Army of Northern Virginia at any time during the war? thanks. Butch Barringer