Comment by ErroneousBosh

RISC desktop computers were common-ish in UK schools by then.

Of course if you count the 6502 as a RISC chip (if you squint a bit, Page Zero RAM sure does look like 256 8-bit registers to me!) then UK schools had RISC desktops for over a decade before then!