I recall Simon G saying he could do it in 10 minutes. Not sure if he was finishing at their cottage or the gas station, but there can't be much difference.
Simon has done the same descent in 10:24, but it isn't the shortest way down. I can easily believe that under 10 is possible if:
1) you take the shortest route
2) you are Simon
The relevant Strave segment (if there can ever really be such a thing) is:
https://www.strava.com/activities/2358416439/segme...