I got this HP-17Bii recently - it’s my first Pioneer model. I didn’t realise until I got it that the keys are in fact double shot (thought double shot was limited to HP ancient history). Even the shift key is a big hunk of yellow resin embedded in a regular key by the looks of it.