A Texas guzzler tax?