Pancho Villa's menù, Edinburgh