Question: How many different models does the HTC brand have?
SQL: SELECT COUNT(device_model) FROM phone_brand_device_model2 WHERE phone_brand = 'HTC'