Looks like @dedekgp hasn't received any replies!