It would be really annoying if that was the case . Avalon wasn't supposed to be the end all. I was expecting avalons for print price and on to the next best thing so I'd hope he didn't put all his chips there.
I did on a good side do a google on barcodes and they can be bought reasonably cheap for about 20$ for a handfull of them on nationonwidecode.com . I didn't notice bitmain products having one so I don't know if they fudged the numbers to get on amazon.
If I do get stupid and get barcodes for at least my bitfury. I'll post them here and hope I scrapped the information off the drill bit store before he removes it(info goes into a database for the product s), so it can be done right. At least they provide U.S barcode and European EAN codes so I won't leave you in the dark.