@geoffl I guess I'm forgetting how hideously expensive disk drives were in the UK back then. Bare 5¼" drives at 200 quid each!