Based on postings in the archive, there were 4k, 8k, 16k, 32k and 64k RAM memory modules that were once available for the 71. One maker of the 32k and 64k (Card Reader Bay) modules was Corvallis Microtech.
My question is: What was the largest RAM module that HP ever made? Was it the 16k module?