Dave.

Conjuring up a frequency graph from 2004-present doesn’t help your argument, as the VCR format wars were pretty much over a good 15 years beforehand.

“VCR” could have meant either VHS or Betamax to a consumer in the early '80s.

At least VHS specifies a particular standard, and “player” in that context has a loose connection with record player, or tape player , being the thing you play your purchased records / tapes / videos on.