Nope, I don't have a board yet. I can't afford the several hundred or thousands that people are auctioning for it so far. Yep, that is pretty crazy but generous for those who can afford to donate so much. I'll have to wait until it drops to their normal for sale price.
I think there will be two models, an A version which will cost $25 that doesn't have an Ethernet port and will have half of the memory, and a B which will cost $35 that has an Ethernet port and more memory. I'm wanting the one with the Ethernet port. So for that board, the case should be less at least. You're right that it is ironic that for the cheaper board at least it would be more for the case than the board. In ether (ahem) case it's a bummer that the case has to cost so much. I can't ultimately control the total cost for the model since Shapeways isn't a cheap service so don't hold me largely to blame for that. I am happy with their quality, tho.
Since I don't have a board yet, I'm sort of trying to go by what dimensions they have published and what pictures that have been taken and shared on their site. I won't know if it's correct until I actually get a board, but I hope I'm as close as I can be. I figure there will ultimately have to be some adjustments when I get a board and actually see how well it fits.