> I don't recall the Archimedes ever getting called a "BBC Micro"

Pictures:

https://chrisacorns.computinghistory.org.uk/Computers/A3000....

Note the logo at top right of the keyboard.

Also note the bright red function keys.