Is that the basic pay (£79,936; €92,584) or the basic+entitled pay (£155,376; €179,968)? (via https://assets.publishing.service.gov.uk/government/uploads/...)
https://eufactcheck.eu/factcheck/uncheckable-4000-eu-officia... suggests that only 3-4000 (10-13%, not exactly "many"?) are PG13 or above which would be €196,305 (£169,481) - above UKPM.