No, there’s dozens of different floppy drive faces. I recognize their round eject button on the left. The thing on the right is the activity LED.

You’re right it’s during the messy HP/Compaq time when they held on to the brand. I remember them from my desktop support days. I thought it was an 8300 but that’s wrong