I think that might be the one I bought. I just did a Buy Now on an A4000D for $475 on this one.
http://cgi.ebay.com/ws/eBayISAPI.dll?ViewItem&item=8763521655&rd=1&sspagename=STRK%3AMEWN%3AIT&rd=1I'm very excited about getting it. I've also already purchased 3.1 ROM's and 3.5 AmigaOS from AmigaKit.
I also just purchased one of the external flicker fixer/scan doubler/VGA connectors from Softhut.
Now if I can get the wife to let me get a NIC card to put the A4000D on my home network.

It's so good to be back in Amiga.