Are The SDHC R4s For The DS Real?

I bought my first R4 from Dangbox for my daughter but I'm about to get a DS for me and the missus and want the R4 SDHC.

The original R4 only can take up to 2GB and I want to put as many games as possible on one card so I'm not really swapping out at all.

There's about 17 GB of DS roms in the wild that I've seen.

I wasn't sure what you were referring to so I looked around. Looks like its for real. :unsure:

http://www.youtube.com/watch?v=YjZp7qCBwIY