They were in the portal before he was even hired.Hall announced the night before
At the point they entered the portal, they are free agents, not BYU players. It was the current staff that was still there, trying to retain them. The only one he lost, was Watermen.