I don't usually post in here, but noticed your post on unanswered threads.
I have a son who has AS and despite being a high achiever at school he was bitterly unhappy, highly anxious and struggled socially. For him not seeking a diagnosis and support wasn't an option.
Some of the things you describe about your ds could be construed as ASD traits, but that doesn't mean he has AS. As you said he could just be a clever, quirky chap.
In my opinion, as long as he is happy, not anxious, achieving well, has friends and is well liked, it sounds like he doesn't need any additional support, so seeking a diagnosis wouldn't actually bring any benefits, other than perhaps answering the question either way for you.
As you probably know, ASD is a spectrum disorder, which means that many people have 'traits' without there being enough to be considered as actually having ASD. To get a diagnosis, you need traits across all three of the triad of impairments. explained here.
From what you've said, I wouldn't think he has traits from all three areas, but obviously it would be not only impossible, but wrong of me to suggest a diagnosis or otherwise over the internet
Someone once explained it to me as a bit like a hundred piece puzzle with each piece representing a trait. An awfully large percentage of society - most in fact, would have at least one or two 'pieces' of the puzzle. Some would have more, but its only when you start getting upwards of 80 pieces that a diagnosis becomes likely.
The classic age for Aspergers (so the higher functioning end of the spectrum) to be picked up is around transition to Junior school. That's when we managed to get some help for our ds - but - he was already an lonely, unhappy and anxious little boy and that started pretty much as soon as he started full time school.
Your little boy sounds lovely by the way and as long as he is happy, achieving and has friends and none of his 'traits' cause him disproportionate problems or distress in his life. I wouldn't worry.