He has that. The problem is not the CGM, it's everything around that (and the fact that both Freestyle Libre, and Dexcom, don't readily expose the data for the DIY types to do anything with).
While the Dexcom is "better" (than Freestyle Libre) in my opinion because the recent revision can talk directly to your phone continuously (the Libre only sends alerts, getting data requires you tapping phone to arm)... your insurance may cover only one or other. Either is way way better than nothing, but both are still a long way from automation.