It appears that the Leopard MBT was scraped during the last massive cull. However, the Texians have been able to procure security vehicles from Cuba during one of the frequent purchases of cigars (since the US still has the embargo going, Texans import Cuban cigars, repackage them, and ship them to the US - this is pretty much an open secret with everyone involved, though nothing is done to press the point).
During one of the shipments, the Cubans also sold the Texians several surplus BTR-80s. These were very basic stripped down versions that the Cubans had originally purchased from the Soviets.
---this is a kit that I had originally built with another idea in mind. Not sure if anyone's seen "The Pentagon Wars," but there is a scene during the opening of the movie where the US was conducting tests on heat seeking rockets. They couldn't get the seeker heads to pick up low levels of heat, so they put a bunch of hot plates onto the side of a BTR. If you haven't seen the movie, you really should. It is unfortunately pretty close to what actually happened with the development of the Bradley AFV. Anyway, I couldn't get the hot plates to look very convincing so I put the BTR in the junkyard for a while.
John