Looks like @jarmol hasn't received any replies!