These days £300 is probably not massively out of bounds for a morning's work, especially if he had a workmate with him.
I remember paying something like £200 for a similar job a decade ago but I also paid about £50 for a repair only last year, though I had some tiles left over from the...