Does Bosch still sell the teppanyaki griddle pan? People on here seem to really love it but I can't find it anywhere online. I'm getting a Bosch Benchmark 30" with the flex zone. This is the only pan that looks like it fits properly. I hope someone can clue me in here. Thanks!