Did Coach Mike sign 7-1 kid from NC State?