This another recipe from the Kraft Vegemite booklet. The vegemite is used in the sauce and not in the filling, which means you can add as much or as little as you like. I have doubts myself about using tinned vegetable soup for the sauce and don’t see why you couldn’t use mushroom instead.