Would you tip carpet installers?