Thread:BiggestThomasFan/@comment-24362609-20180927200323/@comment-1338865-20180928202812

Probably. Besides, the show has had characters sharing the same name before (Oliver, Stanley and Jack).