Can't imagine Charles using less than 128K.
So I believe it was a 67J60 all along.
<br>