Looks like @mark42 hasn't received any replies!