Now that I think of it, my high school had a Wang computer as well with dual large (much larger than 5.25") floppy disks with vertical slots in separate box/cabinet, and a 2256 looking terminal (integrated keyboard, green screen, slightly sloped sides). I mostly used the Tandy TRS-80 Model III's though.
It had been installed in my father's office and he took me in to see it one day. After going through a three-week (!) course on how to use it he taught me how to use it and I probably submitted the first word-processed book report in the history of my school.
I have very fond memories of that 200lbs behemoth.