Actually the HD4000 can use up to 768MB of VRAM with an 8GB machine
Thanks for the clarification. That's even more impressive! If the next Mini updates get the more powerful Haswell chipsets with the same added VRAM capability, I'll be very tempted to sell my current Mini (2011 version with HD 6630M) & buy a new one.