Looks like @jchoi hasn't received any replies!