If he plays in the game I believe it's a forfeit. No player that has played in a HS game is eligible to play in HOCO.