Looks like @mrstan hasn't received any replies!