LFD Audio new DAC

On Google today I spotted that LFD are offering a new DAC, the DAC5. Surprising. Should cost around $4k. The previous DAC3 was made in limited quantities and apparently there was no DAC4!
There have been on occasion, that a Manufacture has skipped a numerical designation due to one of the following reasons:

1) The number is deemed unlucky. The number 4 is a dreaded number in Chinese superstition.

2) There may be a trademark infringement, perhaps DAC4 is a registered trademark.
Interesting. I asked Dr. Bews why no #4. Your first answer you mentioned here is indeed correct. Respect!
This is why you never saw a Wilson Watt/Puppy 4 speaker. Wilson does a lot of business in the far east, therefore, their marketing depatment decided to skip the number 4.