Yes, these are HP-2, which is one model of the HP 1000 series. There are also HP-1, which have a switch on each ear piece so that you can change the phase, and HP-3, which I've never seen and know little about.
Thanks to everybody for your comments about them. I really shouldn't have bought them but couldn't stop thinking about them ever since I listened to them at MOA. The picture of them on my head is was taken at MOA. It's funny that when I finally decided to buy a pair, I'd be able to buy a pair that I had actually tried.