there is one way which i have seen thrown around. the technique is to set the first beat as 3750bpm and set the snapping to 1/16. this allows you to capture every single millisecond possible (which is what osu supports). afterwards, you would look at the .wav file of the song mp3 to determine the exact miillisecond which you want to map (a beat will be the peak of a certain sound, and the .wav editor automatically shows the timestamp).
i dont remember the rest but i figure it goes like the normal method from there.
put a red line on next beat
change first beat to bpm where its line hits the next beat with according bpm and snap (if it was 1/2, 1/3, 1/4, etc.)
rinse and repeat.
nevertheless, this process is also tiring. for the linked songs, they sound very loud. i doubt you would get any differentiation between a passive and an active sound. i doubt you will see any distinguisahble peaks in the .wav file.
you may think it is worth mapping, but are others willing to take time for it? if you do think so, push for it yourself. even looking for others, if they desire so, to do it with is part of pushing for it.