See if installing the 8.7.1 dng converter adds the required lens correction profiles to Filter>Lens Correction.
(the dng converter includes the latest camera correction profiles from adobe)
As R_Kelly says, actually installing the DNG Converter will update you to the latest ADOBE provided profiles.
Note that Adobe have not provided profiles for all conceivable camera makers and lenses, nor do they claim to have done that, nor that they ever will.
If someone has developed and published the profile(s) you seek, you'll have to Google for that third party profile and see if it actually works adequately.
As an aside, Ill have to add that not dealing with video at all myself, I had never even heard of your particular camera. It also not clear to me personally, whether video lenses and video cameras can be profiled at all for use in Photoshop. I just don't know.
You solved it R_Kelly! Thank you!