Yes, I remember that. And remember those were only single sided 400K disks! If you needed to buy a disk at the computer lab in 1985 they charged you about US $5/disk. at roughly 100% inflation over 25 years, that would be US $100 for 10. Remember in those days a Single Sided 400K disk was the equivalent to a portable 120GB hard drive today which retails for about the same price.
.