TEXAS DE BRAZIL (RICHMOND) CORPORATION