Mike Lee is the happiest guy in the world now