Howdy,
I would appraise texasautopro.com at $300 - 400 USD max. I can see some end users on Google for the keywords, ping some emails or make some calls.
PRO TIP: If you are looking to sell names, put sales landers on your domain names. Make it easy for buyers to reach you.