Watch out, it might say it's disabled, but it might not be! https://docs.google.com/spreadsheet/lv?key=0Ags-JmeLMFP2dFp2dkhJZGIxTTFkdFpEUDNSSHZEN3c
Thanks,
I disabled the router PIN
http://support.netgear.com/app/answers/detail/a_id/19824/kw/wps/session/L3RpbWUvMTMyNjU2MzYzMC9zaWQvZXh5YzI4T2s%3D
But your second link states for the WNDR3700v3 (didn't list WNDR4000) "PIN can be disabled, but WPS cannot be switched off completely"
Oh well