Looks like @duval hasn't received any replies!