Looks like @patpat hasn't received any replies!