I can confirm most of this story. It has been years since I’ve been able to get a quick burrito at La Taqueria. Mi Yucatan, half a block away, isn’t plugged into the system so you can definitely get food under there under 15 mins. They’re also talking about adding an extension down the 24th corridor, east of Mission. There you got Vallarta, Wise and Son, El Farolito, and half a dozen more. I hear they’re also testing rolled papusas