Assuming that's right (perhaps someone more knowledgeable can provide a source), this seems to imply that vaccination reduces the risk of developing myocarditis by 4x, assuming everyone will eventually be infected.
I'm also curious what effect age has on the risk in both cases, ie. if the same ratio holds for young people.