If I might interrupt this private fight and broaden the scope of the thread, I hear on the news that the estimated cost of the funeral, far from being the £10m which was being bandied about, was in the region of £3.5m
Of course if all the police who were lining the streets received the same overtime payments as the servicemen who were doing the same job a few yards away (ie nil), the cost would have been even lower.
Can't see the Police Federation agreeing to that one though!