HP35 and serial numbers?

[jonteague]

No 2.02 bug on this one (unsurprisingly as it's v4) but it does have the arc cos/sin/tan of low values bug (anyone know if that's expected on a v4?)

I've just re-read the collecting page on here and note 1 says there is one other v4 with a 1143 serial number known - two now I guess - and the suspicion is it was a number swap. Did HP do this when units went back for service?

https://www.hpmuseum.org/collect.htm#early1