Were Singapore made HP-32Sii produced with different keycaps?

[frodesto]

Yes. This is the older one. It has a serial number that starts with 3202 (1992 week 2?)

I was not aware of the double-shot technology used on older units. I think you are right, my unit probably has these keys. I have looked at the keys with a loupe and the lettering does not appear to be printed on.

Thanks for helping me clear this up.