Yeah funky hey!

I don't believe they were ever sold here. I just recently imported mine from the US (hence the 'significant cost').

It has an international power supply in it, which I hadn't expected, so I've been able to just plug it in and use it too.

Unfortunately and as expected, the TV tuner picks up no signal (being NTSC rather than PAL).