We ate at LaHacienda last Friday night for dinner. We had this incredible corn mash or corn mashed potatoes. Has anyone loved this also? I have looked high and low for the recipe with no luck. Does anyone know of a recipie?