For those interested, I have been doing some experiments with running a regular GPS on a 10cm antenna with the dvl. It worked well using a lua script. More testing is welcome. I have the script and some notes here:
https://williangalvani.github.io/ardupilot-kb/ArduSub/WIP/DVL-GPS%20integration.html