Thread:VanishTactics/@comment-28162777-20160716152727/@comment-27665933-20160718042045

IGN means In-Game Name, so yes, that's his roblox name