Looks like @jamesdenny hasn't received any replies!