Benihana or teppanyaki mushrooms are all the same name as hibachi mushrooms, so feel free to use any variety you want.