Not me! Maybe not the best selection, there were more Warner Brothers discs, infamous for bit rot (it's real, even their regular DVDs die prematurely), I passed on those. I have a few and they are all dead.
[For those who don't know, HDDVD was the HD format that lost the format wars of the early 2000s. There are very few readers any more out there. The XBOX 360's external reader is one, the Toshiba machines are the others. I have both!]
Good price indeed. I have season 1 of Battlestar Galactica on HDDVD, and it comes in a nice fancy case.