Write SQL query to solve given problem: Determine the percentage of manufacturers who are from Texas among all of Lorenzo's customers.. Keep the solution inside sql tag ```sql [SQL-Query] ```
SELECT CAST(SUM(CASE WHEN cust_type = 'manufacturer' THEN 1 ELSE 0 END) AS REAL) * 100 / COUNT(*) FROM customer WHERE state = 'TX'