Making it official: Four Red Devils sign to play in NCAA