Chances are the Mod who handles the ticket can't ban the user. Most Mods can only nuke Newbies. The post will get deleted, but the user won't get banned.