15 years ago
The makers were able to supply a replacement by next-day delivery.
When the engine was new in the 1960s, they were listed in the manual
at £3 10s 2d.
How much today??
Allow not just for inflation, but for the company existing now mainly
as a spares supplier, & they quite likely only turn over single figure
numbers per annum of this sort of thing.