Question: Determine the percentage of manufacturers who are from Texas among all of Lorenzo's customers.
SQL: SELECT CAST(SUM(CASE WHEN cust_type = 'manufacturer' THEN 1 ELSE 0 END) AS REAL) * 100 / COUNT(*) FROM customer WHERE state = 'TX'