Sorry, calculation error:
For a range of 400kHz we would need 3 extra bits, so
we would need to take 4^3= 64
samples and average the 64
measurements.
The expense of this approach however is that it would slow down the tuning
system by (at least) 16 or 64
times.