For sale: Mini-ITX setup - touchscreen monitor, Via Epia V8000, CF to IDE, cm9 wireless

I'm selling my mini-ITX setup as I don't really think I'll end up getting it finished.

Photos of the setup are here: http://gm.stackunderflow.com/mini_itx/
Prices are only about what I paid for the individual items - I'd prefer to sell it in one lot, and I'd like not to sell individual components.
I'm asking $400 for the lot. It's about $420 worth of stuff, but, for example, the monitor was quite difficult to find. This includes almost everything you need.

Lilliput EBY701 touchscreen display - $240
The screen is 800x480 unlike most of the other screens that are 640x480, 512x384 or 320x240, and it has a VGA input, not just composite.
It also includes a USB touchscreen module that is set up to work with the mini-ITX board.
Firmware reprogrammed to automatically turn on with power.
Includes car dash/window mount.
Has audio inputs and a speaker in the back.
Runs off 12v DC, cigarette lighter adaptor and 240v plugpack included.
Has an IR remote control as well to swap input sources, turn on and off, mute and navigate the menu.

Via Epia V8000 Mini-ITX logic board - $50
Has 128MB of RAM, in the form of 1xPC133 stick. I have another stick that works, but is PC100, and as a result, memtestx86 reports that the RAM timings are slower when I put it in.
Has 2xPS/2 ports, VGA, S-Video and Composite out, as well as S/PDIF (composite video port can be used for one at a time), 2xUSB (and an extra 2 as a header on the board), 10/100 ethernet, parallel, serial and line in, microphone and out sockets.
800MHZ Via C3 CPU. Runs Debian Linux nicely.

CF to IDE adaptor - $10
4GB CF card - $40

Lifetime Warranty on the CF card. I can supply packaging and purchase receipt (bought from MSY) if wanted.
At the moment, has Debian Linux on it, fully configured for the board, screen and hardware.

PCI to mini-PCI adaptor - $20
Winstron CM9 wireless card - $40
I-PEX to RP-SMA cable - $10
2dbi antenna - $2

90mw 802.11a/b/g wireless is fitted. With an antenna in a good location, and a similarly high power base station, it should get a very good range.

Power Supply - $15
Been meaning to get a PicoPSU. Never did get round to it, and at the moment, it's running off this one. No-name brand "Thermal Blaster" 350 watt one. Works fine as this board draws nearly no power (the power plug got pulled out of the wall, and the board stayed powered on at the BIOS screen for about two and a half seconds from the filter caps in the PSU).

Contact me at gmillar at air-stream dot org or gmillar on the Jabber server. I can bring this to the next meeting if anyone is interested.