These are absolutely delicious; the rich mushroom flavor of this dish is heightened by the addition of mushroom ketchup!