Looks like @patrickbet hasn't received any replies!