Yeah, that's why I didn't speculate as to whether 5.25" or 3.5" was more likely, just that 8" would have been unlikely. We don't know how old the systems are, but I suspect you're right; the supply of 3.5" diskettes would have stuck around much longer, too.