I’m 99% sure it’s a cold, he’s had it for about a week and it has been entirely cold symptoms, no fever, blocked up nose, slightly sore throat. He’s just appeared and announced his Coke smells like lavender. On this basis alone - try and get a test?