@herrprofdr I assume so. School districts were always technology laggards, especially elementary schools. But Apple had already shipped 80 MHz PowerPC Macs in March 1994. It really boggles the mind how much overlap there was between technological generations.
https://everymac.com/systems/apple/powermac/specs/powermac_8100_80.html