That interesting. I’d love to know more of the story.

I guess these days you’d use either GPS on its own or a cadence sensor and let your Garmin GPS figure out the wheel size automatically.