October fungi - Blue Roundhead

This was found by a neighbour in his garden. I am confident it is either the Blue Roundhead or the Verdigris Roundhead and probably the former. A spore print is being taken and that may help decide for certain. Edit: It does - it's a Blue Roundhead