Looks like @hjchoi hasn't received any replies!