... 6 TB hard disks?
6 TB hard disks are going to be significantly less efficient. 6TB of 64GB MicroSD cards would be 96 cards which will take up 7.92 cm^3. A 6TB hard drive is huge by comparison, close to 400 cm^3 (though the actual number varies by drive manufacturer).
OK. My curiosity got the better of me, so here it is.
First, using his number of 82.5 cubic millimeters for the volume of a Micro SD card, and Wikipedia's 1,134 cubic meters for the cargo volume of an A380 (in freight configuration), I get 13745454545 cards. Using his 20% density reduction, I'll bring that down to 10996363636. 128GB MicroSD cards exist, but they aren't mainstream yet, so let's go with 64GB. The total data capacity of the plane is therefore 610.4 EiB (exbibytes), which Wolfram Alpha helpfully says is about 0.7 times the estimated global IP data traffic per year by 2015, and around 59 times the estimated information content of all human knowledge as of mid-1999.
I looked around to see if I could find anything higher-density than MicroSD, but there isn't really anything. Full-size SD cards are readily available up to 256GB, but they are significantly more than the volume of 4 MicroSD cards. mSATA SSDs are even worse - they are available up to 1 TB, but they are way too big.
I'm sorry, but the best quote from that book is actually this one:
Never underestimate the bandwidth of a station wagon full of tapes hurtling down the highway.
In my networks class, we extended the calculation to a 747 full of DVDs (the best we could do at the time). Maybe one of these days, if I have a minute, I'll go back and do an A380 full of flash drives.
The OP was asking if the NIST time servers were part of the pool.ntp.org group.
They aren't. However, NIST does have Stratum 1 Servers.
"Atomic batteries to power, turbines to speed." -- Robin, The Boy Wonder