Yes that sounds correct. Just make sure that what you burn has the same content in bytes 0-$3FFF as in $4000-$7FFF
I have a GVP SCSI card also (don't know the ROM version offhand). Is it possible (and helpful?) to map this ROM image into fastRAM using the setcpu program?
