I want to put red lentils in a spag bog to bulk it out a bit, do I have to cook them first or will they just cook in the sauce as it were? TIA