enjoyed himself extremely

• had fun, had a good time, had a ball