Precisely what I was wondering, as it's only very slightly out.
Tempting, thank you, they're in far better nik than any of the DD forks I've looked at. I'll see how it rides as is, check size etc. Might get back to you. But, as said, it's the pub bike and as such doesn't have a hard life.