That's right giuliomoro, the TinySoundFont library is just a single header file to do the whole thing. The examples that come with it however do use the Simple DirectMedia Layer - for simplicity - but it's an overhead that thankfully isn't needed for Bela.
Like yourself, the developer of TSF is very helpful and once I remember my 'C', the modifications shouldn't be too difficult.
Thanks again