That was probably an incredible amount of memory back then. And it probably cost $1,000 USD for 1KB. Who knows how much radiation-hardened space memory was. 10 times that?