Ok, perhaps I'm getting this all wrong, so please let me know as I'm happy to learn from mistakes. 

My understanding is that when...

It looks as though your setup is correct.  You should have the /3GB and /PAE switches in the boot.ini file for memory greater than 4GB and less than 16GB.

Would also...