Aren't Quadro K4000s coming in two format, one 6GB and one 12GB, or am I mixing things up...? If they come in two RAM sizes, how big is this one?