プチコンのコインの音(多分BEEP 7)は商標登録されていないので、ご心配なく。