So has anyone ever been to the Top of the Notch restaurant? I have always wanted to check it out.