Thank you, Terry!
Something that has me worried: when the man built the shed, he was nervous of doing the steep pitch. So he was distracted by that and he FORGOT to install the ridge vent!!!
And I didn't recognize that it was missing until my husband pointed it out Memorial Day Weekend. I contacted them, and they said they had a block of time coming up where they could come out and fix that. I'm quite nervous about what will be involved. I guess getting up there, removing the ridge, cutting back both the corrugated metal and the decking, and then putting the ridge back on with vent spacers.
Well now. I'm very glad it's not me...or you...or your husband...that's having to do that. The roof is beautiful but that pitch would be no fun to work on. What will have to be done depends entirely on how he sheathed the roof and installed the metal. Perhaps there is enough opening already. If not then you are correct. Normally ridge vent is a continuous vent that is laid over the ridge and then covered with the cap. A fairly simple and straightforward installation if you don't have a super steep metal roof but in your case it's not going to be any fun to do.