Re timings etc, the RC pulse train is only read every 100ms, which is fine for the moment (it's causing no problems in testing) and this bit of code runs plenty fast enough for the moment.
I would like to look into using the other timer - this has proved perfectly reliable so far, but the increase in resolution would be nice.
I'll look into it.
Cheers,
Ed