Ah, it seems I didn't do it right properly first time.

I'm now on 4.2.2 with the build number JDQ39.

Would I be safe to flash a stock 4.4 rom using the toolkit now? It hasn't offered me an ota update - not yet, anyway.

Edit- It's doing it now, I think. Watch this space!