A none/less selective LAC, is fine, as long as it offers a CS program.
There is also nothing wrong with attending a local CC (or a LAC) for two years, and then transferring into a university, like Michigan Tech. In fact, by transferring, he can get into schools his test scores would never allow. Michigan also has other directional schools (like Eastern Michigan University) that are less selective than Michigan Tech, and that offer CS programs.
Try using College Navigator to find likely schools that offer CS. Select your state, then under programs, select CS, and the select public or private(LAC) and search.
https://nces.ed.gov/collegenavigator/
You mentioned Florida, so he’s a listing of public 4 year universities that offer CS:
https://nces.ed.gov/collegenavigator/?s=FL&p=11&ct=2&ic=1&pg=1
Florida Institute of Technology (FIT), may be the type of school you’re looking for, but it would require he score a bit better on the ACT (low 20’s). Other privates to consider, include Barry, Eckerd, Florida Southern, Rollins, Jacksonville University, and Stetson.