RISC was not a distant dream in 1994 LMAO.
at that time even Intel had a RISC cpu (i960)
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!