Nice idea, Matt.
I wouldn't @mention the user themselves though - they already know that they joined a server, so they just get an irrelevant notification to clear up after playing.
But a handy feature for knowing when there's that chance for a spontanious game with friends.