There is one way the isp can get the number of pc's behind your NAT. But the pc's have to run simultaneously for this to work. The trick is, that every ip packet have a number, so that the destination pc can put them together in the right order. Windows is using increasing numbers to index the ip packets. Now. If two pc's sending ip packets there are to different rows of numbers. Let's say pc1 is sending packets with the number 1,2,3,4 and pc2 is sending packets 101,102,103. The ISP can now conclude that there are two pc's behind your NAT. It's not proof since the numbers aren't have to be incresing but windows does. FreeBSD for example uses random numbers.