COVID Vax–related Myocarditis May be Milder Than That