What is the total number of ranks that had vestron as the studio?
CREATE TABLE "highest_grossing_films_of_1987" (
  "rank" real,
  "title" text,
  "studio" text,
  "director" text,
  "gross" text
);
SELECT COUNT("rank") FROM "highest_grossing_films_of_1987" WHERE "studio"='vestron';