Vented vs. Ventless Gas Log Sets: What’s Best for Your Texas Home?