On a tangent, for anyone with an Instant Pot:
1. Fill the IP with 1 cup of water
2. Stick the round grill-grate tray inside the pot (the one with the two handles)
3. Take an ear of corn & chop it in half (I keep the husk on)
4. Set to manual for 4 minutes
5. Once done, let it sit for 4 minutes NPR, then do a QPR
Voila, delicious corn in no time! I've done fresh, frozen, in the husk, and outside of the husk. I think I can fit 3 ears of corn in my 6qt model (each cut in half).