Thanks @Murdochcat...
Both the original and replacement fans are quite substantial (maybe 'inline' is the wrong descriptor - see attached, mine is model 33700) and weren't that cheap (£150-200-ish in 2019 iirc). Not sure if bigger domestic duty fans are available, but which brands should I be...