COVID Vaccine Data (openvaers.com)
It's over 5,000. VAERS has made it hard to get a clean count -there are exceptions which leave out classifications sometimes. For example, I often find that 'date unknown' or other Covid-19 vaccination records with a piece of information missing does not get collected when I make an export.