I ate a dish similar to this in a resteraunt. I could never find a recipe, so I made up my own. This recipe is almost exact to the one I had in the resteraunt. You can spice it up with peppers, guacomole, or anything else. Any meltable cheese can be used for the sauce. Let me know what you think.