As experience from small time DJing. I use the American DJ 1200 HD all the time. I has never quit on me and the heat sensor makes sure it's always hot. Never really had a problem. The extra timer for it is 25$ I think.
For size comparison, I have a 600 sq ft garage and I use a 400watt fogger to fill it, the 1200 is for outside. You might get want to get somthing along the lines of a 700 or 900 watt if the space is that small.
As for the VEI v935 I don't know anything about it. Hope this helps a little.