Paging John Williams: The shark called

I wonder if John Williams gets a royalty bump each time they play the “Jaws” theme? Done it twice now. At least the “Searching for Sugar Man” coproducer took the hint and quit quickly.