Bushfiva - both are Samsung's (R710 & Series 7 Gamer), I've had a look about the net for info on whitelisting for both models & their BIOS's but can't find much info.
Having a further read since posting it appears that whitelisting may not be apparent in the BIOS UI & will only be discovered if an unapproved card is installed in a whitelisted machine - does that sound correct?
Thanks.