If he stays awake until 3:30 playing games, and he has to be somewhere at 7am... I would not let him sleep, alone with being able to stay awake all night comes responsibilities of morning errands. when he sees he can not stay awake all night and still wake up at 7 to make his errands then maybe he will realize that he needs to go to bed earlier..
it will be good job training for him.,..