Looks like @mrstein hasn't received any replies!