I dunno, I like #2. He's reaching out to you, he's miserable - if you send a funny, no-strings-attached text with an offer to come up and hang out he might grab at it like a lifeline. And if you word it right, you can handle a "no" answer with no loss of face.
