and pretty sure there was a 80 mhz 040 for Apples.
This was marketing, as by design the '040 internally ran 2x bus frequency. A lot of amiga '040 cards advertised at 40MHz also ran 80MHz internally (TekMagic, Cyberstorm, Apollo, etc), but 80MHz bus simply wasn't possible.
