Gertrude was amazing!
We did have trouble getting on the bus as the first one we approached with our digital tickets told us that we had tickets for another bus line - we did not, so ended up losing 20 minutes as we tried to figure out what was going on, until another bus came along and that driver understood the ticketing.
But when we got on Gertrude's bus, it was worth the wait as she was personable, engaging, and a wonderfully hilarious and informative guide.