Looks like @arctan hasn't received any replies!