ドトールのジャーマンドッグダブルソースって知っています?

ドトールで昼を食べた。ジャーマンドッグに初めてケチャップをつけてもらうことにした。オーダーした際、店員さんがジャーマンドッグダブルソースと復唱した。 ケチャップ付きのジャーマンドッグはマスタードとケチャップがあるから、ダブルソースというのか。ただレシートを見ると、ケチャップ¥0という表記だった。ダブル…