what's that fancy cheese that's used to make oven grilled cheese again? is it Vacherin Mont d'or?