Yeah, he really shouldn't have to do that with the spacing on the belt, the holes aren't that far apart.
That being said, the hole I use on my belt has been stretched to roughly where a new hole would be punched if I were to do that. It's been that way for a few months and it hasn't stretched any further, despite being wrenched very tight.