This forum states that the HP 80 started productio in 1973, yet there is one on ebay, with a serial number that indicates that it was manufactured in 1972. Could this be a prototype?
here is the ebay link:
http://cgi.ebay.com/aw-cgi/eBayISAPI.dll?ViewItem&item=1205108678