3500 is actually the starting point for daylight bulbs with some manufacturers. It doesn't look very yellow to me, does it to you? Eagle eye with spotting the K on the bulb base! I was about to ask how you knew the temperature just by looking at the light! You're right though, he could go higher but if he's happy with the amount of stretch then so be it.