Virginia Coin

I wasn't aware Virginia minted their own coins. Anyone ever found one?
http://www.americandetectorist.com/f...EiQASJEiQAf//Z

Reading the history, it appears there was only a halfpenny made for circulation, and only in 1773 with quite a few varieties, along with a handful of proof prototypes including a penny size and a silver variety.

https://coins.nd.edu/colcoin/colcoin...lfd.intro.html