Made it. Nice recipe. Right sort of cheeses. Added pulled pork on the bottom and grilled that for 10 minutes to get rid of excess moist. Next time will add fine diced yellow zucchini/courgette. Also added breadcrumbs on top for the crispyness. Will use cooking cream instead of whole milk for extra creamyness.