I was able to patch it without taking the wheel off the bike -- just pulled a foot or so of tube out, patched it, and stuck it back together. Less than ten minutes lost, didn't even make my fingers greasy!
That's brilliant! Cool morning, only 66F when I left home though still forecasting 90 for the ride home