Not a question of what would I do but what I actually do.
I do a few very loud fake sneezes and coughs to wake him up. Works everytime. This also works for those leisure travellers in front of me who recline on my lap and bop back and forth to their walkman for an entire flight when I'm in coach.