7000 miles over 4 years, just using 50mph average for easy math, means 140 hours of driving. Also estimating the sleep timing: 10 minutes to fall asleep, average 40 miles a trip (the 40 miles from previous typical estimates of average driver trips), there is 29 hours from this, so total 169 hours. Over the 35040 hours of 4 years, 0.5% of the time.
The average driver instead would drive 14k miles a year or 56k miles over 4 years or 1120 hours of driving. Sleep wait time estimated at 233 hours. Total 1353 hours. or 3.8% of 35040 hours.