They would use Claude or Grok for day-to-day if they had heard of it.