Sure- I bought it on Amazon three years ago, here is the product page
The model number is WDBBKD0030BBK-NESN
There's a newer model that's cheaper, but it would be guessing to assume it's 4KN, although that seems to be the way the industry is headed, so it's probably a good guess.
Forum:
WampServer English