Wondering if @JLin7 is going to change his Twitter handle now that his number is different.