Harp already defaults to 9000, so let's just use that.