Does anyone know what the runny cheese is that you get on nachos when you buy them from a restaurant? My son wants me to make some nachos but he hates melted grated cheddar