Is it okay to mix varieties? I ended up with some extra Yukon Gold potatoes and red potatoes. Would it be okay to throw them all in the pot? I'm thinking of using them for mashed potatoes or possibly a potato tortilla. I figure the potatoes may have different cooking times and textures, but this is just for everyday eating, nothing fancy.