Regarding when the HP9830 was introduced I think it is quite clear that it happened in late 1972. There is a full HP Journal devoted to HP98xx:
https://hparchive.com/Journals/HPJ-1972-12.pdf https://hpmuseum.net/display_item.php?hw=55 So if someone wasn't aware of the HP9830 until 1973 maybe he just didn't read the HP Journal? /Mattis >
