Who is out 20 btc?
Side question - I have heard that 2fa coin buyers still were provided an address for the coin - I have heard they did not - which is correct?
20btc? Just another number/total dreamed up.
As for the side question - Both are true.
Look at post #185
https://bitcointalk.org/index.php?topic=5369583.msg60946434#msg60946434
In the beginning, it was some internal generated number. So, you didn't actually know the address from the coin itself; however, emails sent after the purchase included the serial number, coin identifier, and the public address. You would have had to check the website or had the coin graded in which they would put the pub address first bits on the slab details.
Later, the code on the coin was actually the first bits.