My son, 18, is heading off to college next fall. Trying to decide between these 2 pumps. He is going to be on their CGM counterparts, the Dexcom for the Tslim. He is on Medtronic Reveal now, doesn't like all the alarms and the calibrations. Which would you recommend? He is a heavy sleeper, but can wake himself up when low. Specifically, your experience with the pump, and how many times per day do you need to calibrate the pump with the CGM?