Mike Lee has friends? I did not know that.