マツダは少なくとも公式には読みにくいから777を欠番にしたという。

737と757の間で「747」が欠番なのは、FC3Sの開発コードがP747だったからといわれてる一方、
年代的にはちょうど767と787の間の頃にFD3Sが開発されているのだけど
「FD3Sに、非公式にでも(この当時は市販車の社内開発コードの命名法則が違うので)777を振った」
という話は一切聞いたことが無いんで多分そりゃ事実なんだろうけど。

ヤマハのOW表記(最初は「0(ゼロ)W」だったとのこと)がYZR500だけ見ると凄い飛んでるとか
ロータスのF1のナンバーが途中で突然飛ぶ(これも市販車と連番のため)みたいなもん。

そういうわけで「最初はゼロW」だったからOW01と重複する車両は存在しないわけですだ。
記録がはっきりしないとはいわれるものの、当該車種は「ゼロW01」なので。