to create a music mod for the king fight, do I just create a new file with whatever audio I want named "kingboss.ogg", delete the original, then replace it with my new file? Here's an image of what I did (it has the purple tag because it's a different file from the original) ibb.co/XxDB3V5

As long as it's an ogg file (which it seems like it is), yes