I should be cleared about the use of the term "Professor" in a UK university compared to the US - in the department I worked in that had maybe 50 lecturing staff (i.e. full time permanent academic staff) and 6 or 7 people at the level of Professor:
That's a good point. Like most Americans I forgot about the US/UK difference in nomenclature. I'd think the problem would only be bigger for UK "Professors" than for US "Professors" because UK Professors are more senior by definition.