Thread:BiggestThomasFan/@comment-37839112-20190201051802/@comment-1338865-20190201183128

I do not have any ideas for Jerry, Atlas, Alfred, John, Jennings, Jinty and Pug right now. As for 31120 and 10751, it does sound like an okay idea.

No, I don't.