Oh yes, the 13k limit is for when zipped and with that it gets barely under the limit by a couple of bytes. You can find the sources here. Only used two existing libraries, one for sound effects and another for music.
