Sure, but what are the odds they're using these rather than HD 3.5" disks purchased from whatever new old stock they've been able to source over the past 20-odd years?